SlideShare una empresa de Scribd logo
1 de 7
UNIVERSIDAD “FERMIN TORO” 
VICERECTORADO ACADEMICO 
FACULTAD DE INGENIERIA 
ESCUELA DE INGENIERIA ELECTRICA 
Integrantes: 
Héctor Escalona C.I 20.668.022
1. Proposición 
Una proposición es un enunciado cuyo contenido está sujeto a ser 
calificado como verdadero o falso, pero no ambas cosas a la vez, es decir 
toda proposición tiene solamente una alternativa. 
2. Identificar los conectivos lógicos de una proposición. 
Conectivo Nombre 
No Negación 
O Disyunción 
Y Conjunción 
Si… entonces Condicional 
Si y solo si Bicondicional 
LA NEGACIÓN “NO” 
El valor de verdad de la negación de una proposición es el contrario al valor de 
la proposición. Esto es, si la proposición es verdadera su negación es falsa, y 
si la proposición es falsa, su negación será verdadera. 
El término de enlace “NO”, es el único que no conecta realmente dos 
proposiciones, sin embargo, cuando a una proposición se le agrega un no se 
forma una proposición molecular y puede ser de dos formas: 
Externa: La presentación externa del “no” es cuando aparece fuera de la 
proposición sobre la cual actúa
Interna: Cuando aparece dentro de la proposición sobre la cual actúa 
DISYUNCIÓN “O” 
Se dice que el término de enlace “o” tiene dos sentidos 
Incluyente: En el sentido incluyente hay una tercera posibilidad de que se 
cumplan las dos condiciones 
Excluyente: En este sentido solamente puede ocurrir una o la otra de las 
posibilidades 
La disyunción de “p o q”, p * q, es la proposición que es verdadera cuando ya 
sea que p o q o ambas son verdaderas; la disyunción será falsa solamente 
cuando ambas proposiciones p y q sean falsas. 
LA CONJUNCIÓN 
La conjunción de dos proposiciones es una proposición compuesta que resulta 
verdadera cuando lo son las dos proposiciones simples que la constituyen, y 
falsa en caso contrario, es decir, cuando alguna de las dos es falsa. 
CONDICIONAL 
La condicional de dos proposiciones es una proposición compuesta que resulta 
falsa cuando el antecedente es verdadero y el consecuente falso, y en los 
demás casos es verdadera. 
BICONDICIONAL 
La bicondicional de dos proposiciones es una proposición compuesta que 
resulta verdadera cuando ambas son verdaderas o ambas son falsas, y en 
caso contrario es falsa.
Dadas dos proposiciones p y q, se define la proposición bicondicional “p si y 
sólo si q”, p * q, como la proposición que es verdadera si ambas proposiciones 
p y q son falsas, o bien si ambas son verdaderas. 
3. Identificar las distintas formas proposicionales. 
Existen 3 formas proposicionales: 
Tautológicas: Es aquella forma proposicional que siempre da como 
resultado verdadero. 
Contradictoria: Es aquella forma proposicional que siempre da como 
resultado falso. 
Falacias o Indeterminadas: Es aquella forma proposicional que siempre 
es verdadera y falsa a la vez. 
4. Leyes del Álgebra proposicional 
1. Leyes Idempotentes 
1.1pÚ p º p 
1.2pÙ p º p 
2. Leyes Asociativas 
2.1.(P Ú q) Ú r º p Ú (q Ú r) 
2.2. (P Ù q) Ù r º p Ù (q Ù r) 
3. Leyes Conmutativas 
3.1.P Ú q º q Ú p 
3.2. P Ù q º q Ù p
4. Leyes Distributivas 
4.1.P Ú (q Ù r) º (p Ú q) Ù (p Ú r) 
4.2. P Ù ( q Ú r ) º ( p Ù q ) Ú (p Ù r) 
5. Leyes de Identidad 
5.1.P Ú F º P 
5.2.P Ù F º F 
5.3.P Ú V º V 
5.4. P Ù V º P 
6. Leyes de Complementación 
6.1.P Ú ~ P º V(TercioExcluido) 
6.2.P Ù ~ P º F(Contradicción) 
6.3. ~ ~ P º P(DobleNegación) 
6.4. ~ V º F, ~ F º V 
7. Leyes De Morgan 
7.1. ~ (P Ú q) º ~ P Ù ~ q 
7.2. ~ ( P Ù q ) º ~ P Ú ~ q 
5. Métodos de demostración en Matemática e Ingeniería. 
La demostración es un razonamiento serie de razonamiento que prueba la 
validez de un nuevo conocimiento estableciendo sus conexiones necesarias 
con otros conocimientos. Cuando un conocimiento queda demostrado, 
entonces se le reconoce como válido y es admitido dentro de la disciplina 
correspondiente. La demostración es el enlace, entre los conocimientos 
recién adquiridos y el conjunto de los conocimientos anteriores. El enlace 
entre los conocimientos recién adquiridos y los anteriores está constituidos 
por una sucesión finita de proposiciones que o bien son postulados o bien 
son conocimientos cuya validez se ha inferido de otras proposiciones,
mediante operaciones lógicas perfectamente coordinadas. La demostración 
permite explicar unos conocimientos por otros y por tanto es una prueba 
rigurosamente racional. Sabemos que todas las proposiciones de una teoría 
matemática se clasifican en dos tipos: las aceptadas sin demostración que 
son las definiciones (donde no hay nada por demostrar) y loso (que se 
toman como proposiciones de partida) y las deducidas, llamadas (que son 
proposiciones cuya validez ha sido probada).No siempre tenemos evidencia 
directa de la validez de un teorema. Eso depende en parte su grado de 
complejidad y de nuestra mayor o menor familiaridad con su contenido. Un 
teorema requiere demostración cuando no hay evidencia de su validez. 
Estructura de la demostración. La demostración consta de tres partes: 
a) El conocimiento que se trata de demostrar, es decir la proposición 
(teorema)cuya validez se trata de probar. 
b) Los fundamentos empleados como base de la demostración. 
c) El procedimiento usado para lograr que el conocimiento quede 
demostrado. 
Los procedimientos de demostración permiten establecer la conexión lógica 
entre los fundamentos y sus consecuencias sucesivas, hasta llegar como 
conclusión final a la tesis que así se demuestra. Una tesis puede ser 
demostrada mediante distintos procedimientos. Tipos de demostración 
Consideremos una demostración como un argumento que nos muestra que 
una proposición condicional de la forma es lógicamente verdadera (es decir, 
verdadera en todos los casos posibles) donde es la o conjunción de las 
premisas y es la conclusión de argumento. Luego, si en el enunciado de un 
teorema se incluyen explícitamente las proposiciones de partida, éste 
afirma que partiendo de cierta hipótesis se puede demostrar otra 
proposición llamada. Los procedimientos utilizados en la demostración
están constituidos por distintas formas de deducción o inferencia y se 
puede clasificar en varios tipos los cuales serán estudiados se 
paradamente. Los principales tipos de demostración son: 
a) Demostración directa. 
En la demostración directa debemos probar una implicación: 
P  q. Esto es, llegar a la conclusión q a partir de la premisa p mediante 
una secuencia de proposiciones en las que se utilizan axiomas, definiciones, 
teoremas o propiedades demostradas previamente. 
b) Demostración indirecta. 
Dentro de este método veremos dos formas de demostración: 
Método del Contrarrecíproco: Otra forma proposicional equivalente a 
p C nos proporciona la Ley del contrarrecíproco: P C   C   P. 
Esta equivalencia nos proporciona otro método de demostración, 
llamado el método del contrarrecíproco, según el cual, para demostrar 
que p C, se prueba que  C   P. 
6. Construir una red de circuitos lógicos de una forma proposicional. 
(p∧q)∨(~p∧~q)

Más contenido relacionado

La actualidad más candente

Calculo Proposicional
Calculo Proposicional Calculo Proposicional
Calculo Proposicional Luis Torres
 
Pruebas de Validez e invalidez lógica
Pruebas de Validez e invalidez lógicaPruebas de Validez e invalidez lógica
Pruebas de Validez e invalidez lógicaMike Coral
 
19 silogismo validos Logica proposicional
19 silogismo validos Logica proposicional19 silogismo validos Logica proposicional
19 silogismo validos Logica proposicionalmorataya7503
 
lógica propocional
lógica propocionallógica propocional
lógica propocionalNestor Rosas
 
Tautologia y contraddicciones
Tautologia y contraddiccionesTautologia y contraddicciones
Tautologia y contraddiccionesDeisbis Gonzalez
 
Ficha de cátedra
Ficha de cátedraFicha de cátedra
Ficha de cátedraSociología
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicionalherostara
 
Tipos Razonamientos y Relaciones Lógicas
Tipos Razonamientos y Relaciones LógicasTipos Razonamientos y Relaciones Lógicas
Tipos Razonamientos y Relaciones LógicasAlejandro_jm
 
Trabajo de estructura discreta
Trabajo de estructura discretaTrabajo de estructura discreta
Trabajo de estructura discretanaudyhernandez
 
Lógica Proposicional
Lógica ProposicionalLógica Proposicional
Lógica Proposicionalluzmonroy
 
Calculo proposicional. geovanny_merlo
Calculo proposicional. geovanny_merloCalculo proposicional. geovanny_merlo
Calculo proposicional. geovanny_merlogeovannyboss_1
 
La logica formal
La logica formalLa logica formal
La logica formalmasgsg2013
 
Razonamiento lógico
Razonamiento lógicoRazonamiento lógico
Razonamiento lógicoYerikson Huz
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicionalJesus Lugo
 
Calculo Proposicional
Calculo ProposicionalCalculo Proposicional
Calculo Proposicionalgpbs_brito
 

La actualidad más candente (20)

Unidad i
Unidad iUnidad i
Unidad i
 
Calculo Proposicional
Calculo Proposicional Calculo Proposicional
Calculo Proposicional
 
CALCULO PROPOSICIONAL
CALCULO PROPOSICIONALCALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL
 
Pruebas de Validez e invalidez lógica
Pruebas de Validez e invalidez lógicaPruebas de Validez e invalidez lógica
Pruebas de Validez e invalidez lógica
 
CALCULO PROPOSICIONAL
CALCULO PROPOSICIONALCALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL
 
19 silogismo validos Logica proposicional
19 silogismo validos Logica proposicional19 silogismo validos Logica proposicional
19 silogismo validos Logica proposicional
 
lógica propocional
lógica propocionallógica propocional
lógica propocional
 
Tautologia y contraddicciones
Tautologia y contraddiccionesTautologia y contraddicciones
Tautologia y contraddicciones
 
Ficha de cátedra
Ficha de cátedraFicha de cátedra
Ficha de cátedra
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Tipos Razonamientos y Relaciones Lógicas
Tipos Razonamientos y Relaciones LógicasTipos Razonamientos y Relaciones Lógicas
Tipos Razonamientos y Relaciones Lógicas
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Trabajo de estructura discreta
Trabajo de estructura discretaTrabajo de estructura discreta
Trabajo de estructura discreta
 
Lógica Proposicional
Lógica ProposicionalLógica Proposicional
Lógica Proposicional
 
Calculo proposicional. geovanny_merlo
Calculo proposicional. geovanny_merloCalculo proposicional. geovanny_merlo
Calculo proposicional. geovanny_merlo
 
La logica formal
La logica formalLa logica formal
La logica formal
 
Razonamiento lógico
Razonamiento lógicoRazonamiento lógico
Razonamiento lógico
 
Conectivos Logicos
Conectivos LogicosConectivos Logicos
Conectivos Logicos
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Calculo Proposicional
Calculo ProposicionalCalculo Proposicional
Calculo Proposicional
 

Similar a Informe1 (20)

Unidad i proposiciones
Unidad i proposicionesUnidad i proposiciones
Unidad i proposiciones
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Proposiciones, Leyes del Algebra de Proposiciones
Proposiciones, Leyes del Algebra de ProposicionesProposiciones, Leyes del Algebra de Proposiciones
Proposiciones, Leyes del Algebra de Proposiciones
 
Trabajo de estructura discreta
Trabajo de estructura discretaTrabajo de estructura discreta
Trabajo de estructura discreta
 
Analisis estructuras discreta
Analisis estructuras discretaAnalisis estructuras discreta
Analisis estructuras discreta
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Logica matematica modalidad
Logica matematica modalidad Logica matematica modalidad
Logica matematica modalidad
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Introduccin a la logica
Introduccin a la logicaIntroduccin a la logica
Introduccin a la logica
 
Introduccin a la logica
Introduccin a la logicaIntroduccin a la logica
Introduccin a la logica
 
Estructura Discreta I
Estructura Discreta IEstructura Discreta I
Estructura Discreta I
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Formulario de Lógica
Formulario de LógicaFormulario de Lógica
Formulario de Lógica
 
Leyes del algebra
Leyes del algebraLeyes del algebra
Leyes del algebra
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
unidad 1 de estructuras
unidad 1 de estructurasunidad 1 de estructuras
unidad 1 de estructuras
 
Lógica trabajo
Lógica trabajoLógica trabajo
Lógica trabajo
 

Último

SESION DE PERSONAL SOCIAL. La convivencia en familia 22-04-24 -.doc
SESION DE PERSONAL SOCIAL.  La convivencia en familia 22-04-24  -.docSESION DE PERSONAL SOCIAL.  La convivencia en familia 22-04-24  -.doc
SESION DE PERSONAL SOCIAL. La convivencia en familia 22-04-24 -.docRodneyFrankCUADROSMI
 
Procedimientos para la planificación en los Centros Educativos tipo V ( multi...
Procedimientos para la planificación en los Centros Educativos tipo V ( multi...Procedimientos para la planificación en los Centros Educativos tipo V ( multi...
Procedimientos para la planificación en los Centros Educativos tipo V ( multi...Katherine Concepcion Gonzalez
 
Prueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESOPrueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESOluismii249
 
6.-Como-Atraer-El-Amor-01-Lain-Garcia-Calvo.pdf
6.-Como-Atraer-El-Amor-01-Lain-Garcia-Calvo.pdf6.-Como-Atraer-El-Amor-01-Lain-Garcia-Calvo.pdf
6.-Como-Atraer-El-Amor-01-Lain-Garcia-Calvo.pdfMiNeyi1
 
Caja de herramientas de inteligencia artificial para la academia y la investi...
Caja de herramientas de inteligencia artificial para la academia y la investi...Caja de herramientas de inteligencia artificial para la academia y la investi...
Caja de herramientas de inteligencia artificial para la academia y la investi...Lourdes Feria
 
SEXTO SEGUNDO PERIODO EMPRENDIMIENTO.pptx
SEXTO SEGUNDO PERIODO EMPRENDIMIENTO.pptxSEXTO SEGUNDO PERIODO EMPRENDIMIENTO.pptx
SEXTO SEGUNDO PERIODO EMPRENDIMIENTO.pptxYadi Campos
 
Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.
Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.
Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.Alejandrino Halire Ccahuana
 
origen y desarrollo del ensayo literario
origen y desarrollo del ensayo literarioorigen y desarrollo del ensayo literario
origen y desarrollo del ensayo literarioELIASAURELIOCHAVEZCA1
 
Infografía EE con pie del 2023 (3)-1.pdf
Infografía EE con pie del 2023 (3)-1.pdfInfografía EE con pie del 2023 (3)-1.pdf
Infografía EE con pie del 2023 (3)-1.pdfAlfaresbilingual
 
AFICHE EL MANIERISMO HISTORIA DE LA ARQUITECTURA II
AFICHE EL MANIERISMO HISTORIA DE LA ARQUITECTURA IIAFICHE EL MANIERISMO HISTORIA DE LA ARQUITECTURA II
AFICHE EL MANIERISMO HISTORIA DE LA ARQUITECTURA IIIsauraImbrondone
 
NUEVAS DIAPOSITIVAS POSGRADO Gestion Publica.pdf
NUEVAS DIAPOSITIVAS POSGRADO Gestion Publica.pdfNUEVAS DIAPOSITIVAS POSGRADO Gestion Publica.pdf
NUEVAS DIAPOSITIVAS POSGRADO Gestion Publica.pdfUPTAIDELTACHIRA
 
Curso = Metodos Tecnicas y Modelos de Enseñanza.pdf
Curso = Metodos Tecnicas y Modelos de Enseñanza.pdfCurso = Metodos Tecnicas y Modelos de Enseñanza.pdf
Curso = Metodos Tecnicas y Modelos de Enseñanza.pdfFrancisco158360
 
Estrategia de prompts, primeras ideas para su construcción
Estrategia de prompts, primeras ideas para su construcciónEstrategia de prompts, primeras ideas para su construcción
Estrategia de prompts, primeras ideas para su construcciónLourdes Feria
 
SELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdf
SELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdfSELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdf
SELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdfAngélica Soledad Vega Ramírez
 
PLAN DE REFUERZO ESCOLAR primaria (1).docx
PLAN DE REFUERZO ESCOLAR primaria (1).docxPLAN DE REFUERZO ESCOLAR primaria (1).docx
PLAN DE REFUERZO ESCOLAR primaria (1).docxlupitavic
 

Último (20)

SESION DE PERSONAL SOCIAL. La convivencia en familia 22-04-24 -.doc
SESION DE PERSONAL SOCIAL.  La convivencia en familia 22-04-24  -.docSESION DE PERSONAL SOCIAL.  La convivencia en familia 22-04-24  -.doc
SESION DE PERSONAL SOCIAL. La convivencia en familia 22-04-24 -.doc
 
Procedimientos para la planificación en los Centros Educativos tipo V ( multi...
Procedimientos para la planificación en los Centros Educativos tipo V ( multi...Procedimientos para la planificación en los Centros Educativos tipo V ( multi...
Procedimientos para la planificación en los Centros Educativos tipo V ( multi...
 
Prueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESOPrueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESO
 
Medición del Movimiento Online 2024.pptx
Medición del Movimiento Online 2024.pptxMedición del Movimiento Online 2024.pptx
Medición del Movimiento Online 2024.pptx
 
6.-Como-Atraer-El-Amor-01-Lain-Garcia-Calvo.pdf
6.-Como-Atraer-El-Amor-01-Lain-Garcia-Calvo.pdf6.-Como-Atraer-El-Amor-01-Lain-Garcia-Calvo.pdf
6.-Como-Atraer-El-Amor-01-Lain-Garcia-Calvo.pdf
 
Caja de herramientas de inteligencia artificial para la academia y la investi...
Caja de herramientas de inteligencia artificial para la academia y la investi...Caja de herramientas de inteligencia artificial para la academia y la investi...
Caja de herramientas de inteligencia artificial para la academia y la investi...
 
SEXTO SEGUNDO PERIODO EMPRENDIMIENTO.pptx
SEXTO SEGUNDO PERIODO EMPRENDIMIENTO.pptxSEXTO SEGUNDO PERIODO EMPRENDIMIENTO.pptx
SEXTO SEGUNDO PERIODO EMPRENDIMIENTO.pptx
 
Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.
Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.
Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.
 
origen y desarrollo del ensayo literario
origen y desarrollo del ensayo literarioorigen y desarrollo del ensayo literario
origen y desarrollo del ensayo literario
 
Infografía EE con pie del 2023 (3)-1.pdf
Infografía EE con pie del 2023 (3)-1.pdfInfografía EE con pie del 2023 (3)-1.pdf
Infografía EE con pie del 2023 (3)-1.pdf
 
Supuestos_prácticos_funciones.docx
Supuestos_prácticos_funciones.docxSupuestos_prácticos_funciones.docx
Supuestos_prácticos_funciones.docx
 
Sesión de clase: Fe contra todo pronóstico
Sesión de clase: Fe contra todo pronósticoSesión de clase: Fe contra todo pronóstico
Sesión de clase: Fe contra todo pronóstico
 
AFICHE EL MANIERISMO HISTORIA DE LA ARQUITECTURA II
AFICHE EL MANIERISMO HISTORIA DE LA ARQUITECTURA IIAFICHE EL MANIERISMO HISTORIA DE LA ARQUITECTURA II
AFICHE EL MANIERISMO HISTORIA DE LA ARQUITECTURA II
 
NUEVAS DIAPOSITIVAS POSGRADO Gestion Publica.pdf
NUEVAS DIAPOSITIVAS POSGRADO Gestion Publica.pdfNUEVAS DIAPOSITIVAS POSGRADO Gestion Publica.pdf
NUEVAS DIAPOSITIVAS POSGRADO Gestion Publica.pdf
 
Curso = Metodos Tecnicas y Modelos de Enseñanza.pdf
Curso = Metodos Tecnicas y Modelos de Enseñanza.pdfCurso = Metodos Tecnicas y Modelos de Enseñanza.pdf
Curso = Metodos Tecnicas y Modelos de Enseñanza.pdf
 
Estrategia de prompts, primeras ideas para su construcción
Estrategia de prompts, primeras ideas para su construcciónEstrategia de prompts, primeras ideas para su construcción
Estrategia de prompts, primeras ideas para su construcción
 
SELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdf
SELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdfSELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdf
SELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdf
 
Unidad 3 | Metodología de la Investigación
Unidad 3 | Metodología de la InvestigaciónUnidad 3 | Metodología de la Investigación
Unidad 3 | Metodología de la Investigación
 
PLAN DE REFUERZO ESCOLAR primaria (1).docx
PLAN DE REFUERZO ESCOLAR primaria (1).docxPLAN DE REFUERZO ESCOLAR primaria (1).docx
PLAN DE REFUERZO ESCOLAR primaria (1).docx
 
Interpretación de cortes geológicos 2024
Interpretación de cortes geológicos 2024Interpretación de cortes geológicos 2024
Interpretación de cortes geológicos 2024
 

Informe1

  • 1. UNIVERSIDAD “FERMIN TORO” VICERECTORADO ACADEMICO FACULTAD DE INGENIERIA ESCUELA DE INGENIERIA ELECTRICA Integrantes: Héctor Escalona C.I 20.668.022
  • 2. 1. Proposición Una proposición es un enunciado cuyo contenido está sujeto a ser calificado como verdadero o falso, pero no ambas cosas a la vez, es decir toda proposición tiene solamente una alternativa. 2. Identificar los conectivos lógicos de una proposición. Conectivo Nombre No Negación O Disyunción Y Conjunción Si… entonces Condicional Si y solo si Bicondicional LA NEGACIÓN “NO” El valor de verdad de la negación de una proposición es el contrario al valor de la proposición. Esto es, si la proposición es verdadera su negación es falsa, y si la proposición es falsa, su negación será verdadera. El término de enlace “NO”, es el único que no conecta realmente dos proposiciones, sin embargo, cuando a una proposición se le agrega un no se forma una proposición molecular y puede ser de dos formas: Externa: La presentación externa del “no” es cuando aparece fuera de la proposición sobre la cual actúa
  • 3. Interna: Cuando aparece dentro de la proposición sobre la cual actúa DISYUNCIÓN “O” Se dice que el término de enlace “o” tiene dos sentidos Incluyente: En el sentido incluyente hay una tercera posibilidad de que se cumplan las dos condiciones Excluyente: En este sentido solamente puede ocurrir una o la otra de las posibilidades La disyunción de “p o q”, p * q, es la proposición que es verdadera cuando ya sea que p o q o ambas son verdaderas; la disyunción será falsa solamente cuando ambas proposiciones p y q sean falsas. LA CONJUNCIÓN La conjunción de dos proposiciones es una proposición compuesta que resulta verdadera cuando lo son las dos proposiciones simples que la constituyen, y falsa en caso contrario, es decir, cuando alguna de las dos es falsa. CONDICIONAL La condicional de dos proposiciones es una proposición compuesta que resulta falsa cuando el antecedente es verdadero y el consecuente falso, y en los demás casos es verdadera. BICONDICIONAL La bicondicional de dos proposiciones es una proposición compuesta que resulta verdadera cuando ambas son verdaderas o ambas son falsas, y en caso contrario es falsa.
  • 4. Dadas dos proposiciones p y q, se define la proposición bicondicional “p si y sólo si q”, p * q, como la proposición que es verdadera si ambas proposiciones p y q son falsas, o bien si ambas son verdaderas. 3. Identificar las distintas formas proposicionales. Existen 3 formas proposicionales: Tautológicas: Es aquella forma proposicional que siempre da como resultado verdadero. Contradictoria: Es aquella forma proposicional que siempre da como resultado falso. Falacias o Indeterminadas: Es aquella forma proposicional que siempre es verdadera y falsa a la vez. 4. Leyes del Álgebra proposicional 1. Leyes Idempotentes 1.1pÚ p º p 1.2pÙ p º p 2. Leyes Asociativas 2.1.(P Ú q) Ú r º p Ú (q Ú r) 2.2. (P Ù q) Ù r º p Ù (q Ù r) 3. Leyes Conmutativas 3.1.P Ú q º q Ú p 3.2. P Ù q º q Ù p
  • 5. 4. Leyes Distributivas 4.1.P Ú (q Ù r) º (p Ú q) Ù (p Ú r) 4.2. P Ù ( q Ú r ) º ( p Ù q ) Ú (p Ù r) 5. Leyes de Identidad 5.1.P Ú F º P 5.2.P Ù F º F 5.3.P Ú V º V 5.4. P Ù V º P 6. Leyes de Complementación 6.1.P Ú ~ P º V(TercioExcluido) 6.2.P Ù ~ P º F(Contradicción) 6.3. ~ ~ P º P(DobleNegación) 6.4. ~ V º F, ~ F º V 7. Leyes De Morgan 7.1. ~ (P Ú q) º ~ P Ù ~ q 7.2. ~ ( P Ù q ) º ~ P Ú ~ q 5. Métodos de demostración en Matemática e Ingeniería. La demostración es un razonamiento serie de razonamiento que prueba la validez de un nuevo conocimiento estableciendo sus conexiones necesarias con otros conocimientos. Cuando un conocimiento queda demostrado, entonces se le reconoce como válido y es admitido dentro de la disciplina correspondiente. La demostración es el enlace, entre los conocimientos recién adquiridos y el conjunto de los conocimientos anteriores. El enlace entre los conocimientos recién adquiridos y los anteriores está constituidos por una sucesión finita de proposiciones que o bien son postulados o bien son conocimientos cuya validez se ha inferido de otras proposiciones,
  • 6. mediante operaciones lógicas perfectamente coordinadas. La demostración permite explicar unos conocimientos por otros y por tanto es una prueba rigurosamente racional. Sabemos que todas las proposiciones de una teoría matemática se clasifican en dos tipos: las aceptadas sin demostración que son las definiciones (donde no hay nada por demostrar) y loso (que se toman como proposiciones de partida) y las deducidas, llamadas (que son proposiciones cuya validez ha sido probada).No siempre tenemos evidencia directa de la validez de un teorema. Eso depende en parte su grado de complejidad y de nuestra mayor o menor familiaridad con su contenido. Un teorema requiere demostración cuando no hay evidencia de su validez. Estructura de la demostración. La demostración consta de tres partes: a) El conocimiento que se trata de demostrar, es decir la proposición (teorema)cuya validez se trata de probar. b) Los fundamentos empleados como base de la demostración. c) El procedimiento usado para lograr que el conocimiento quede demostrado. Los procedimientos de demostración permiten establecer la conexión lógica entre los fundamentos y sus consecuencias sucesivas, hasta llegar como conclusión final a la tesis que así se demuestra. Una tesis puede ser demostrada mediante distintos procedimientos. Tipos de demostración Consideremos una demostración como un argumento que nos muestra que una proposición condicional de la forma es lógicamente verdadera (es decir, verdadera en todos los casos posibles) donde es la o conjunción de las premisas y es la conclusión de argumento. Luego, si en el enunciado de un teorema se incluyen explícitamente las proposiciones de partida, éste afirma que partiendo de cierta hipótesis se puede demostrar otra proposición llamada. Los procedimientos utilizados en la demostración
  • 7. están constituidos por distintas formas de deducción o inferencia y se puede clasificar en varios tipos los cuales serán estudiados se paradamente. Los principales tipos de demostración son: a) Demostración directa. En la demostración directa debemos probar una implicación: P  q. Esto es, llegar a la conclusión q a partir de la premisa p mediante una secuencia de proposiciones en las que se utilizan axiomas, definiciones, teoremas o propiedades demostradas previamente. b) Demostración indirecta. Dentro de este método veremos dos formas de demostración: Método del Contrarrecíproco: Otra forma proposicional equivalente a p C nos proporciona la Ley del contrarrecíproco: P C   C   P. Esta equivalencia nos proporciona otro método de demostración, llamado el método del contrarrecíproco, según el cual, para demostrar que p C, se prueba que  C   P. 6. Construir una red de circuitos lógicos de una forma proposicional. (p∧q)∨(~p∧~q)