SlideShare una empresa de Scribd logo

Leyes De Lógica

P
P
Pablo Gandarilla C.Ingenierio Químico

Principales leyes de lógica

Leyes De Lógica

1 de 3
Descargar para leer sin conexión
PRINCIPALES LEYES LÓGICAS
Para la simplificación de fórmulas del cálculo proposicional, son de suma utilidad las equivalencias o
leyes lógicas. Su demostración se reduce a la confección de las correspondientes tablas de verdad (el
resultado final de las mismas, siempre muestra una tautología).
En la elaboración de las siguientes leyes, se ha supuesto que p, q y r son proposiciones que pueden
asumir cualquier valor de verdad; mientras que V es una proposición verdadera y F es una proposición falsa.
1. Involución o doble negación: ∼( ∼ p ) ⇔ p
2. Idempotencia:
• De la conjunción: p ∧ p ⇔ p
• De la disyunción: p ∨ p ⇔ p
3. Elemento neutro:
• De la conjunción: p ∧ V ⇔ p
• De la disyunción: p ∨ F⇔ p
4. Condición de tautología: p ∨ V ⇔ V
5. Condición de antitautología: p ∧ F ⇔ F
6. Negación de tautología: ∼V ⇔ F
7. Negación de antitautología: ∼F ⇔ V
8. Condiciones de negación:
• De la conjunción: ( p ∧ ∼ p ) ⇔ F
• De la disyunción: ( p ∨ ∼ p ) ⇔ V
9. Conmutatividad:
• De la conjunción: p ∧ q ⇔ q ∧ p
• De la disyunción: p ∨ q ⇔ q ∨ p
10. Asociatividad: • De la conjunción: ( p ∧ q ) ∧ r ⇔ p ∧ ( q ∧ r )
• De la disyunción: ( p ∨ q ) ∨ r ⇔ p ∨ ( q ∨ r )
11. Distributividad:
• De la conjunción respecto a la disyunción: ( p ∨ q ) ∧ r ⇔ ( p ∧ r ) ∨ ( q ∧ r )
• De la disyunción respecto a la conjunción: ( p ∧ q ) ∨ r ⇔ ( p ∨ r ) ∧ ( q ∨ r )
12. Leyes de absorción:
• De la conjunción respecto a la disyunción: p ∧ ( p ∨ q ) ⇔ p
• De la disyunción respecto a la conjunción: p ∨ ( p ∧ q ) ⇔ p
13. Definición de implicación: p → q ⇔ ∼ p ∨ q
14. Definición de equivalencia: p ↔ q ⇔ ( p → q ) ∧ ( q → p )
15. Leyes de De Morgan:
• Negación de la conjunción: ∼ ( p ∧ q ) ⇔ ∼ p ∨ ∼ q
• Negación de la disyunción: ∼ ( p ∨ q ) ⇔ ∼ p ∧ ∼ q
RAZONAMIENTO LÓGICO
RECORDEMOS:
Se llama "argumento" o razonamiento lógico, a una secuencia de proposiciones, en la que una de ellas
llamada "conclusión", se obtiene de otras llamadas "premisas". La Lógica tiene como principal objetivo, la
determinación de la validez o no de los razonamientos.
VALIDEZ DE UN ARGUMENTO.
Se dice que un razonamiento es "válido" si, al ser verdaderas sus premisas, lo es también su
conclusión; es decir, no puede darse el caso de que las premisas sean verdaderas y la conclusión falsa (sí se
diera este caso, se dice que el argumento es "no válido"); entonces, para comprobar si un esquema formal de
razonamiento es válido o no, podemos asociar a ese razonamiento, una implicación cuyo antecedente sea la
conjunción de las premisas, y el consecuente sea la conclusión. Es decir, un razonamiento deductivo puede
escribirse en la forma:
Conjunción de premisas → Conclusión
Es decir : ( p1 ∧ p2 ∧ ... ∧ pn ) → C ( α )
O en forma abreviada: P → C
Esquemáticamente:
p1
p2
...
pn
C
Donde p1, p2, ... , pn , son premisas verdaderas.
Así, un razonamiento deductivo es válido, si la implicación mostrada en ( α) es una TAUTOLOGÍA.
MÉTODOS DE DEMOSTRACIÓN DE LA VALIDEZ DE UN ARGUMENTO.
Directo : Según este método, sabiendo que las premisas del antecedente de (α) son verdaderas, se debe
demostrar que la conclusión C también es verdadera; y para ello, se puede utilizar cualquiera de las reglas de
inferencias mostradas en la siguiente página.
Indirecto : En el método indirecto, se debe incluir ∼C entre las premisas originales de (α). Para que el
razonamiento sea válido, es necesario mostrar que, al utilizar las diversas reglas de inferencia, la implicación: (
p1 ∧ p2 ∧ ... ∧ pn ∧ ∼C ) → C, genera una antitautología; es decir, el valor de verdad de esta implicación
es falso ( F ).
Condicional : Si se pretende demostrar la implicación m → n, se deberá introducir m como nueva premisa; y
operando con las restantes, se deberá obtener n para que el razonamiento sea válido.
REGLA DE LAS PREMISAS: En la inferencia lógica, cualquier premisa puede reemplazarse por una
equivalente; es decir, se pueden utilizar sin problemas, las fórmulas de simplificación ya estudiadas.
REGLAS DE INFERENCIA
1. Adición (LA):
Forma esquemática Condicional asociada
p
p ∨ q p → ( p ∨ q )
2. simplificación (S):
Forma esquemática Condicional asociada
p ∧ q
p ( p ∧ q ) → p
3. Adjunción (A):
Forma esquemática Condicional asociada
p
q
p ∧ q ( p ∧ q ) → ( p ∧ q )
4. Modus ponendo ponens (MP):
Forma esquemática Condicional asociada
p → q
p
q [ ( p → q ) ∧ p ] → q
5. Modus tollendo tollens (MT):
Forma esquemática Condicional asociada
p → q
∼q
∼p [ ( p → q ) ∧ ∼q ] → ∼p
6. Modus tollendo ponens o silogismo disyuntivo (MTP):
Forma esquemática Condicional asociada
p ∨ q
∼p
q [ ( p ∨ q ) ∧ ∼p ] → q
7. Silogismo hipotético (SH):
Forma esquemática Condicional asociada
p → q
q → r
p → r [ ( p → q ) ∧ ( q → r ) ] → ( p → r )
8. Silogismo disyuntivo o Dilema constructivo (SD):
Forma esquemática Condicional asociada
p → q
r → s
p v r
q ∨ s [ ( p → q ) ∧ ( r → s ) ∧ ( p ∨ r ) ] → ( q ∨ s )
9. Dilema destructivo (DD):
Forma esquemática Condicional asociada
p → q [ ( p → q ) ∧ ( r → s ) ∧ ( ∼q ∨ ∼s ) ] → ( ∼p ∨ ∼r )
r → s
∼q ∨ ∼s
∼p ∨ ∼r
Importante: Se comprueba la validez de estas reglas de inferencia, demostrando que la correspondiente condicional
asociada es una tautología.
Publicidad

Recomendados

EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNEQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNPacheco Huarotto, Luis
 
Leyes de algebra proposicional
Leyes de algebra proposicionalLeyes de algebra proposicional
Leyes de algebra proposicionalelisa pizano
 
Ejemplos de logica proposicional
Ejemplos de logica proposicionalEjemplos de logica proposicional
Ejemplos de logica proposicionalamarilisrivas94
 
Leyes lógica matemática y conjuntos
Leyes lógica matemática y conjuntosLeyes lógica matemática y conjuntos
Leyes lógica matemática y conjuntosAlejo Tephros
 
Leyes del álgebra de proposiciones
Leyes del álgebra de proposicionesLeyes del álgebra de proposiciones
Leyes del álgebra de proposicionesCariela Loyo
 

Más contenido relacionado

La actualidad más candente

Conectores logicos
Conectores logicosConectores logicos
Conectores logicosAra Narvaez
 
Leyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacionLeyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacionWendy Estupiñan
 
Métodos de Demostración en Matemática
Métodos de Demostración en MatemáticaMétodos de Demostración en Matemática
Métodos de Demostración en MatemáticaWilbert Tapia
 
Ejercicios resueltos rdi ss
Ejercicios resueltos   rdi ssEjercicios resueltos   rdi ss
Ejercicios resueltos rdi ssCarlos Davila
 
Disyunción, Disyunción exclusiva y Conjunción negativa
Disyunción, Disyunción exclusiva y Conjunción negativaDisyunción, Disyunción exclusiva y Conjunción negativa
Disyunción, Disyunción exclusiva y Conjunción negativaflakitacm
 
Leyes de la logica e inferencias
Leyes de la  logica  e inferenciasLeyes de la  logica  e inferencias
Leyes de la logica e inferenciasMaria Gaitan
 
Función proposicional y cuantificadores
Función proposicional y cuantificadoresFunción proposicional y cuantificadores
Función proposicional y cuantificadoresPacheco Huarotto, Luis
 
Equivalencias y reglas de inferencia
Equivalencias y reglas de inferenciaEquivalencias y reglas de inferencia
Equivalencias y reglas de inferenciaCarlos Chavarria
 
VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO
VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO
VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO Jomar Burgos Palacios
 
Algebra 4to...Ecuaciones e inecuaciones de 2º Grado
Algebra 4to...Ecuaciones e inecuaciones de 2º GradoAlgebra 4to...Ecuaciones e inecuaciones de 2º Grado
Algebra 4to...Ecuaciones e inecuaciones de 2º GradoCamilo Solis Yanac
 
Logica proposicional[1][1]
Logica proposicional[1][1]Logica proposicional[1][1]
Logica proposicional[1][1]Henry Villalba
 

La actualidad más candente (20)

Examen1 lógica
Examen1 lógicaExamen1 lógica
Examen1 lógica
 
Modus Ponendo Ponens
Modus Ponendo PonensModus Ponendo Ponens
Modus Ponendo Ponens
 
Conjunto ejercicios-y-teoria
Conjunto ejercicios-y-teoriaConjunto ejercicios-y-teoria
Conjunto ejercicios-y-teoria
 
Inferencia LóGica
Inferencia LóGicaInferencia LóGica
Inferencia LóGica
 
Conectores logicos
Conectores logicosConectores logicos
Conectores logicos
 
Leyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacionLeyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacion
 
Métodos de Demostración en Matemática
Métodos de Demostración en MatemáticaMétodos de Demostración en Matemática
Métodos de Demostración en Matemática
 
Conectores logicos
Conectores logicosConectores logicos
Conectores logicos
 
Lógica matemáticas
Lógica matemáticasLógica matemáticas
Lógica matemáticas
 
Ejercicios resueltos rdi ss
Ejercicios resueltos   rdi ssEjercicios resueltos   rdi ss
Ejercicios resueltos rdi ss
 
Disyunción, Disyunción exclusiva y Conjunción negativa
Disyunción, Disyunción exclusiva y Conjunción negativaDisyunción, Disyunción exclusiva y Conjunción negativa
Disyunción, Disyunción exclusiva y Conjunción negativa
 
Lógica simbolica
Lógica simbolicaLógica simbolica
Lógica simbolica
 
Leyes de la logica e inferencias
Leyes de la  logica  e inferenciasLeyes de la  logica  e inferencias
Leyes de la logica e inferencias
 
Logica y conjuntos
Logica y conjuntosLogica y conjuntos
Logica y conjuntos
 
Función proposicional y cuantificadores
Función proposicional y cuantificadoresFunción proposicional y cuantificadores
Función proposicional y cuantificadores
 
Inferencia logica
Inferencia logicaInferencia logica
Inferencia logica
 
Equivalencias y reglas de inferencia
Equivalencias y reglas de inferenciaEquivalencias y reglas de inferencia
Equivalencias y reglas de inferencia
 
VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO
VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO
VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO
 
Algebra 4to...Ecuaciones e inecuaciones de 2º Grado
Algebra 4to...Ecuaciones e inecuaciones de 2º GradoAlgebra 4to...Ecuaciones e inecuaciones de 2º Grado
Algebra 4to...Ecuaciones e inecuaciones de 2º Grado
 
Logica proposicional[1][1]
Logica proposicional[1][1]Logica proposicional[1][1]
Logica proposicional[1][1]
 

Destacado

Leyes del algebra de proposiciones
Leyes del algebra de proposicionesLeyes del algebra de proposiciones
Leyes del algebra de proposicionesAime Rodriguez
 
Reglas y leyes lógica
Reglas y leyes lógicaReglas y leyes lógica
Reglas y leyes lógicaBertha Vega
 
Reglas De Inferencia
Reglas De InferenciaReglas De Inferencia
Reglas De Inferenciarezzaca
 
Leyes de De morgan
Leyes de De morganLeyes de De morgan
Leyes de De morganhxcmagb7
 
Propiedad distributiva en la logica proposicional exaul rodriguez
Propiedad distributiva en la logica proposicional exaul rodriguezPropiedad distributiva en la logica proposicional exaul rodriguez
Propiedad distributiva en la logica proposicional exaul rodriguezsantiagoexaul
 
Algebra proposiciones
Algebra proposicionesAlgebra proposiciones
Algebra proposicionesrubenenrique
 
Ejercicios - Leyes de Conjuntos
Ejercicios - Leyes de ConjuntosEjercicios - Leyes de Conjuntos
Ejercicios - Leyes de ConjuntosAngel Brito
 
Las leyes de de morgan son una parte de la lógica proposicional y analítica
Las leyes de de morgan son una parte de la lógica proposicional y analíticaLas leyes de de morgan son una parte de la lógica proposicional y analítica
Las leyes de de morgan son una parte de la lógica proposicional y analíticaSol Ramos
 
Lógica : Leyes lógicas
Lógica : Leyes lógicasLógica : Leyes lógicas
Lógica : Leyes lógicasjuanchojuancho
 
13. leyes morgan
13. leyes morgan13. leyes morgan
13. leyes morganboounzueta
 
Las tres leyes de la lógica
Las tres leyes de la lógicaLas tres leyes de la lógica
Las tres leyes de la lógicaCristobal Bone
 
Compendio de Reglas de Inferencia - Lógica Simbólica
Compendio de Reglas de Inferencia - Lógica SimbólicaCompendio de Reglas de Inferencia - Lógica Simbólica
Compendio de Reglas de Inferencia - Lógica SimbólicaLogicaUFM2012
 
Teoremas Fundamentales Algebra de Boole
Teoremas Fundamentales Algebra de BooleTeoremas Fundamentales Algebra de Boole
Teoremas Fundamentales Algebra de BooleEmi Fernandez
 
Lógica proposicional reglas de inferencia
Lógica proposicional reglas de inferenciaLógica proposicional reglas de inferencia
Lógica proposicional reglas de inferenciaVideoconferencias UTPL
 
Lara prado jorge analisis matematico
Lara prado jorge   analisis matematicoLara prado jorge   analisis matematico
Lara prado jorge analisis matematicoCristhian Paredes
 

Destacado (20)

Leyes del algebra de proposiciones
Leyes del algebra de proposicionesLeyes del algebra de proposiciones
Leyes del algebra de proposiciones
 
Reglas de Inferencia
Reglas de Inferencia Reglas de Inferencia
Reglas de Inferencia
 
Reglas y leyes lógica
Reglas y leyes lógicaReglas y leyes lógica
Reglas y leyes lógica
 
Reglas De Inferencia
Reglas De InferenciaReglas De Inferencia
Reglas De Inferencia
 
Leyes de De morgan
Leyes de De morganLeyes de De morgan
Leyes de De morgan
 
Propiedad distributiva en la logica proposicional exaul rodriguez
Propiedad distributiva en la logica proposicional exaul rodriguezPropiedad distributiva en la logica proposicional exaul rodriguez
Propiedad distributiva en la logica proposicional exaul rodriguez
 
Algebra proposiciones
Algebra proposicionesAlgebra proposiciones
Algebra proposiciones
 
Ejercicios - Leyes de Conjuntos
Ejercicios - Leyes de ConjuntosEjercicios - Leyes de Conjuntos
Ejercicios - Leyes de Conjuntos
 
Proposiciones logicas
Proposiciones logicasProposiciones logicas
Proposiciones logicas
 
Las leyes de de morgan son una parte de la lógica proposicional y analítica
Las leyes de de morgan son una parte de la lógica proposicional y analíticaLas leyes de de morgan son una parte de la lógica proposicional y analítica
Las leyes de de morgan son una parte de la lógica proposicional y analítica
 
Lógica : Leyes lógicas
Lógica : Leyes lógicasLógica : Leyes lógicas
Lógica : Leyes lógicas
 
Leyes de absorcion en quimica
Leyes de absorcion en quimicaLeyes de absorcion en quimica
Leyes de absorcion en quimica
 
Reglas de inferencia
Reglas de inferenciaReglas de inferencia
Reglas de inferencia
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
13. leyes morgan
13. leyes morgan13. leyes morgan
13. leyes morgan
 
Las tres leyes de la lógica
Las tres leyes de la lógicaLas tres leyes de la lógica
Las tres leyes de la lógica
 
Compendio de Reglas de Inferencia - Lógica Simbólica
Compendio de Reglas de Inferencia - Lógica SimbólicaCompendio de Reglas de Inferencia - Lógica Simbólica
Compendio de Reglas de Inferencia - Lógica Simbólica
 
Teoremas Fundamentales Algebra de Boole
Teoremas Fundamentales Algebra de BooleTeoremas Fundamentales Algebra de Boole
Teoremas Fundamentales Algebra de Boole
 
Lógica proposicional reglas de inferencia
Lógica proposicional reglas de inferenciaLógica proposicional reglas de inferencia
Lógica proposicional reglas de inferencia
 
Lara prado jorge analisis matematico
Lara prado jorge   analisis matematicoLara prado jorge   analisis matematico
Lara prado jorge analisis matematico
 

Similar a Leyes De Lógica

Similar a Leyes De Lógica (20)

Tautologías
TautologíasTautologías
Tautologías
 
LÓGICA.pdf
LÓGICA.pdfLÓGICA.pdf
LÓGICA.pdf
 
logica.pdf
logica.pdflogica.pdf
logica.pdf
 
Unidad 1 discreta
Unidad 1 discretaUnidad 1 discreta
Unidad 1 discreta
 
Gregory cordero est. disc. unidad i
Gregory cordero est. disc. unidad iGregory cordero est. disc. unidad i
Gregory cordero est. disc. unidad i
 
Unidad1 discreta
Unidad1 discretaUnidad1 discreta
Unidad1 discreta
 
Unid1 ED Juan Abreu
Unid1 ED Juan AbreuUnid1 ED Juan Abreu
Unid1 ED Juan Abreu
 
Unid1 ed juan_abreu
Unid1 ed juan_abreuUnid1 ed juan_abreu
Unid1 ed juan_abreu
 
Unid1 ed juan abreu
Unid1 ed juan abreuUnid1 ed juan abreu
Unid1 ed juan abreu
 
1.- Módulo 1 proposiciones lógicas_2023.pdf
1.- Módulo 1 proposiciones lógicas_2023.pdf1.- Módulo 1 proposiciones lógicas_2023.pdf
1.- Módulo 1 proposiciones lógicas_2023.pdf
 
Logica
LogicaLogica
Logica
 
Unidad i. . cálculo proposicional
Unidad i. . cálculo proposicionalUnidad i. . cálculo proposicional
Unidad i. . cálculo proposicional
 
LibroAlgebra.pdf
LibroAlgebra.pdfLibroAlgebra.pdf
LibroAlgebra.pdf
 
Estructura hugo
Estructura hugoEstructura hugo
Estructura hugo
 
PENSAMIENTO MATEMÁTICO UNADM
PENSAMIENTO MATEMÁTICO UNADMPENSAMIENTO MATEMÁTICO UNADM
PENSAMIENTO MATEMÁTICO UNADM
 
Enrique bonilla.estructurasdiscretas
Enrique bonilla.estructurasdiscretasEnrique bonilla.estructurasdiscretas
Enrique bonilla.estructurasdiscretas
 
Angelica
AngelicaAngelica
Angelica
 
Proposicionesuft 121103193805-phpapp01
Proposicionesuft 121103193805-phpapp01Proposicionesuft 121103193805-phpapp01
Proposicionesuft 121103193805-phpapp01
 
Estructura alexxavier barco
Estructura alexxavier barcoEstructura alexxavier barco
Estructura alexxavier barco
 
estructura discreta, unidad I . Angelica hernandez CI : 26561630
estructura discreta, unidad I . Angelica hernandez CI : 26561630estructura discreta, unidad I . Angelica hernandez CI : 26561630
estructura discreta, unidad I . Angelica hernandez CI : 26561630
 

Más de Pablo Gandarilla C. (20)

Segunda ley de la termodinamica
Segunda ley de la termodinamicaSegunda ley de la termodinamica
Segunda ley de la termodinamica
 
Sistema abierto estado flujo uniforme
Sistema abierto estado flujo uniformeSistema abierto estado flujo uniforme
Sistema abierto estado flujo uniforme
 
Isomeria 2016
Isomeria 2016Isomeria 2016
Isomeria 2016
 
Química orgánica recopilacion
Química orgánica recopilacionQuímica orgánica recopilacion
Química orgánica recopilacion
 
Tabla periodica recopilación
Tabla periodica recopilaciónTabla periodica recopilación
Tabla periodica recopilación
 
Qmc org estructura atómica
Qmc org estructura atómicaQmc org estructura atómica
Qmc org estructura atómica
 
Cuestionario qmc org 2015
Cuestionario qmc org 2015Cuestionario qmc org 2015
Cuestionario qmc org 2015
 
Introducción a las operaciones unitarias
Introducción a las operaciones unitariasIntroducción a las operaciones unitarias
Introducción a las operaciones unitarias
 
Funciones Orgánicas Recopilación
Funciones Orgánicas RecopilaciónFunciones Orgánicas Recopilación
Funciones Orgánicas Recopilación
 
Recopilacion hidrocarburos
Recopilacion hidrocarburosRecopilacion hidrocarburos
Recopilacion hidrocarburos
 
Introducción a la Termodinamica
Introducción a la TermodinamicaIntroducción a la Termodinamica
Introducción a la Termodinamica
 
Prac complejos
Prac complejosPrac complejos
Prac complejos
 
Practico 3 y 4 algebra i
Practico 3 y 4 algebra iPractico 3 y 4 algebra i
Practico 3 y 4 algebra i
 
Práctico de termodinámica 3 2011
Práctico de termodinámica 3 2011Práctico de termodinámica 3 2011
Práctico de termodinámica 3 2011
 
Termodinámica
Termodinámica Termodinámica
Termodinámica
 
Práctico 1 termo 2011
Práctico 1 termo 2011Práctico 1 termo 2011
Práctico 1 termo 2011
 
Termodinámica cuestionario
Termodinámica cuestionarioTermodinámica cuestionario
Termodinámica cuestionario
 
Practico pre u
Practico pre  uPractico pre  u
Practico pre u
 
Practico algebra i_conjuntos
Practico algebra i_conjuntosPractico algebra i_conjuntos
Practico algebra i_conjuntos
 
Practico logica 2010
Practico logica 2010Practico logica 2010
Practico logica 2010
 

Último

tipografia completa.pdf
tipografia completa.pdftipografia completa.pdf
tipografia completa.pdfadrig2000
 
Laminia_Melany_Tarea_1_La Sociedad de la Ignorancia.pdf
Laminia_Melany_Tarea_1_La Sociedad de la Ignorancia.pdfLaminia_Melany_Tarea_1_La Sociedad de la Ignorancia.pdf
Laminia_Melany_Tarea_1_La Sociedad de la Ignorancia.pdfMelanyLaminia
 
Recomendaciones cajero automáticooo.pptx
Recomendaciones cajero automáticooo.pptxRecomendaciones cajero automáticooo.pptx
Recomendaciones cajero automáticooo.pptxlauramedinalonso
 
Calendario Escolar 2023 - 2024 Venezuela
Calendario Escolar 2023 - 2024 VenezuelaCalendario Escolar 2023 - 2024 Venezuela
Calendario Escolar 2023 - 2024 VenezuelaDiegoVzquez68
 
clase 1 EBDV AÑO 2024. SOMOS LA LUZ DEL MUNDO.
clase 1 EBDV AÑO 2024. SOMOS LA LUZ DEL MUNDO.clase 1 EBDV AÑO 2024. SOMOS LA LUZ DEL MUNDO.
clase 1 EBDV AÑO 2024. SOMOS LA LUZ DEL MUNDO.RoxanaHuaman11
 
IMÁGENES SUBLIMINALES OCULTAS EN LAS PUBLICACIONES DE LOS TESTIGOS DE JEHOVÁ
IMÁGENES SUBLIMINALES OCULTAS EN LAS PUBLICACIONES DE LOS TESTIGOS DE JEHOVÁIMÁGENES SUBLIMINALES OCULTAS EN LAS PUBLICACIONES DE LOS TESTIGOS DE JEHOVÁ
IMÁGENES SUBLIMINALES OCULTAS EN LAS PUBLICACIONES DE LOS TESTIGOS DE JEHOVÁClaude LaCombe
 
Tarea 1. Ensayo sobre "La sociedad de la ignorancia"
Tarea 1. Ensayo sobre "La sociedad de la ignorancia"Tarea 1. Ensayo sobre "La sociedad de la ignorancia"
Tarea 1. Ensayo sobre "La sociedad de la ignorancia"elizabethauquilla123
 
Alexander_Lasso_Marco_Garzón_Tarea 3.pdf
Alexander_Lasso_Marco_Garzón_Tarea 3.pdfAlexander_Lasso_Marco_Garzón_Tarea 3.pdf
Alexander_Lasso_Marco_Garzón_Tarea 3.pdfalexlasso65
 
Alexander_Lasso_Marco_Garzo_Practica_N° 3.pdf
Alexander_Lasso_Marco_Garzo_Practica_N° 3.pdfAlexander_Lasso_Marco_Garzo_Practica_N° 3.pdf
Alexander_Lasso_Marco_Garzo_Practica_N° 3.pdfalexlasso65
 
Prueba objetiva - Parcial 1_Grupo 1 Infopedagogía
Prueba objetiva - Parcial 1_Grupo 1 InfopedagogíaPrueba objetiva - Parcial 1_Grupo 1 Infopedagogía
Prueba objetiva - Parcial 1_Grupo 1 Infopedagogíaferpatfut1109
 
Alexander Lasso_Marco Garzón_Tarea #4.pdf
Alexander Lasso_Marco Garzón_Tarea #4.pdfAlexander Lasso_Marco Garzón_Tarea #4.pdf
Alexander Lasso_Marco Garzón_Tarea #4.pdfalexlasso65
 
Auquilla_Paola_y_Casco_Angela_Práctica_2.pdf
Auquilla_Paola_y_Casco_Angela_Práctica_2.pdfAuquilla_Paola_y_Casco_Angela_Práctica_2.pdf
Auquilla_Paola_y_Casco_Angela_Práctica_2.pdfAngelaCasco1
 
Presentación -del curso de Precalculo - 2024-I.ppt
Presentación -del curso de Precalculo - 2024-I.pptPresentación -del curso de Precalculo - 2024-I.ppt
Presentación -del curso de Precalculo - 2024-I.pptMarioSanchezGonzalez1
 
Prueba 1_Jessica J.docx_Evaluación grupo 1
Prueba 1_Jessica J.docx_Evaluación grupo 1Prueba 1_Jessica J.docx_Evaluación grupo 1
Prueba 1_Jessica J.docx_Evaluación grupo 1jessicamaribeljaneta
 
Infografía de la U.E. Instituto Diocesano Barquisimeto.pdf
Infografía de la U.E. Instituto Diocesano Barquisimeto.pdfInfografía de la U.E. Instituto Diocesano Barquisimeto.pdf
Infografía de la U.E. Instituto Diocesano Barquisimeto.pdfMoisés Rodríguez
 
Infografía Instituto Diocesano Jesus Ramírez.pptx
Infografía Instituto Diocesano Jesus Ramírez.pptxInfografía Instituto Diocesano Jesus Ramírez.pptx
Infografía Instituto Diocesano Jesus Ramírez.pptxjesusdrr26
 

Último (20)

tipografia completa.pdf
tipografia completa.pdftipografia completa.pdf
tipografia completa.pdf
 
Laminia_Melany_Tarea_1_La Sociedad de la Ignorancia.pdf
Laminia_Melany_Tarea_1_La Sociedad de la Ignorancia.pdfLaminia_Melany_Tarea_1_La Sociedad de la Ignorancia.pdf
Laminia_Melany_Tarea_1_La Sociedad de la Ignorancia.pdf
 
Händel.pdf
Händel.pdfHändel.pdf
Händel.pdf
 
Recomendaciones cajero automáticooo.pptx
Recomendaciones cajero automáticooo.pptxRecomendaciones cajero automáticooo.pptx
Recomendaciones cajero automáticooo.pptx
 
SISTEMA LOCOMOTOR.pptx
SISTEMA LOCOMOTOR.pptxSISTEMA LOCOMOTOR.pptx
SISTEMA LOCOMOTOR.pptx
 
Calendario Escolar 2023 - 2024 Venezuela
Calendario Escolar 2023 - 2024 VenezuelaCalendario Escolar 2023 - 2024 Venezuela
Calendario Escolar 2023 - 2024 Venezuela
 
clase 1 EBDV AÑO 2024. SOMOS LA LUZ DEL MUNDO.
clase 1 EBDV AÑO 2024. SOMOS LA LUZ DEL MUNDO.clase 1 EBDV AÑO 2024. SOMOS LA LUZ DEL MUNDO.
clase 1 EBDV AÑO 2024. SOMOS LA LUZ DEL MUNDO.
 
GARZON_MARCO_TAREA_1 (1).pdf
GARZON_MARCO_TAREA_1 (1).pdfGARZON_MARCO_TAREA_1 (1).pdf
GARZON_MARCO_TAREA_1 (1).pdf
 
IMÁGENES SUBLIMINALES OCULTAS EN LAS PUBLICACIONES DE LOS TESTIGOS DE JEHOVÁ
IMÁGENES SUBLIMINALES OCULTAS EN LAS PUBLICACIONES DE LOS TESTIGOS DE JEHOVÁIMÁGENES SUBLIMINALES OCULTAS EN LAS PUBLICACIONES DE LOS TESTIGOS DE JEHOVÁ
IMÁGENES SUBLIMINALES OCULTAS EN LAS PUBLICACIONES DE LOS TESTIGOS DE JEHOVÁ
 
Tarea 1. Ensayo sobre "La sociedad de la ignorancia"
Tarea 1. Ensayo sobre "La sociedad de la ignorancia"Tarea 1. Ensayo sobre "La sociedad de la ignorancia"
Tarea 1. Ensayo sobre "La sociedad de la ignorancia"
 
Alexander_Lasso_Marco_Garzón_Tarea 3.pdf
Alexander_Lasso_Marco_Garzón_Tarea 3.pdfAlexander_Lasso_Marco_Garzón_Tarea 3.pdf
Alexander_Lasso_Marco_Garzón_Tarea 3.pdf
 
Alexander_Lasso_Marco_Garzo_Practica_N° 3.pdf
Alexander_Lasso_Marco_Garzo_Practica_N° 3.pdfAlexander_Lasso_Marco_Garzo_Practica_N° 3.pdf
Alexander_Lasso_Marco_Garzo_Practica_N° 3.pdf
 
Prueba objetiva - Parcial 1_Grupo 1 Infopedagogía
Prueba objetiva - Parcial 1_Grupo 1 InfopedagogíaPrueba objetiva - Parcial 1_Grupo 1 Infopedagogía
Prueba objetiva - Parcial 1_Grupo 1 Infopedagogía
 
Alexander Lasso_Marco Garzón_Tarea #4.pdf
Alexander Lasso_Marco Garzón_Tarea #4.pdfAlexander Lasso_Marco Garzón_Tarea #4.pdf
Alexander Lasso_Marco Garzón_Tarea #4.pdf
 
Auquilla_Paola_y_Casco_Angela_Práctica_2.pdf
Auquilla_Paola_y_Casco_Angela_Práctica_2.pdfAuquilla_Paola_y_Casco_Angela_Práctica_2.pdf
Auquilla_Paola_y_Casco_Angela_Práctica_2.pdf
 
Presentación -del curso de Precalculo - 2024-I.ppt
Presentación -del curso de Precalculo - 2024-I.pptPresentación -del curso de Precalculo - 2024-I.ppt
Presentación -del curso de Precalculo - 2024-I.ppt
 
consultas.pptx
consultas.pptxconsultas.pptx
consultas.pptx
 
Prueba 1_Jessica J.docx_Evaluación grupo 1
Prueba 1_Jessica J.docx_Evaluación grupo 1Prueba 1_Jessica J.docx_Evaluación grupo 1
Prueba 1_Jessica J.docx_Evaluación grupo 1
 
Infografía de la U.E. Instituto Diocesano Barquisimeto.pdf
Infografía de la U.E. Instituto Diocesano Barquisimeto.pdfInfografía de la U.E. Instituto Diocesano Barquisimeto.pdf
Infografía de la U.E. Instituto Diocesano Barquisimeto.pdf
 
Infografía Instituto Diocesano Jesus Ramírez.pptx
Infografía Instituto Diocesano Jesus Ramírez.pptxInfografía Instituto Diocesano Jesus Ramírez.pptx
Infografía Instituto Diocesano Jesus Ramírez.pptx
 

Leyes De Lógica

  • 1. PRINCIPALES LEYES LÓGICAS Para la simplificación de fórmulas del cálculo proposicional, son de suma utilidad las equivalencias o leyes lógicas. Su demostración se reduce a la confección de las correspondientes tablas de verdad (el resultado final de las mismas, siempre muestra una tautología). En la elaboración de las siguientes leyes, se ha supuesto que p, q y r son proposiciones que pueden asumir cualquier valor de verdad; mientras que V es una proposición verdadera y F es una proposición falsa. 1. Involución o doble negación: ∼( ∼ p ) ⇔ p 2. Idempotencia: • De la conjunción: p ∧ p ⇔ p • De la disyunción: p ∨ p ⇔ p 3. Elemento neutro: • De la conjunción: p ∧ V ⇔ p • De la disyunción: p ∨ F⇔ p 4. Condición de tautología: p ∨ V ⇔ V 5. Condición de antitautología: p ∧ F ⇔ F 6. Negación de tautología: ∼V ⇔ F 7. Negación de antitautología: ∼F ⇔ V 8. Condiciones de negación: • De la conjunción: ( p ∧ ∼ p ) ⇔ F • De la disyunción: ( p ∨ ∼ p ) ⇔ V 9. Conmutatividad: • De la conjunción: p ∧ q ⇔ q ∧ p • De la disyunción: p ∨ q ⇔ q ∨ p 10. Asociatividad: • De la conjunción: ( p ∧ q ) ∧ r ⇔ p ∧ ( q ∧ r ) • De la disyunción: ( p ∨ q ) ∨ r ⇔ p ∨ ( q ∨ r ) 11. Distributividad: • De la conjunción respecto a la disyunción: ( p ∨ q ) ∧ r ⇔ ( p ∧ r ) ∨ ( q ∧ r ) • De la disyunción respecto a la conjunción: ( p ∧ q ) ∨ r ⇔ ( p ∨ r ) ∧ ( q ∨ r ) 12. Leyes de absorción: • De la conjunción respecto a la disyunción: p ∧ ( p ∨ q ) ⇔ p • De la disyunción respecto a la conjunción: p ∨ ( p ∧ q ) ⇔ p 13. Definición de implicación: p → q ⇔ ∼ p ∨ q 14. Definición de equivalencia: p ↔ q ⇔ ( p → q ) ∧ ( q → p ) 15. Leyes de De Morgan: • Negación de la conjunción: ∼ ( p ∧ q ) ⇔ ∼ p ∨ ∼ q • Negación de la disyunción: ∼ ( p ∨ q ) ⇔ ∼ p ∧ ∼ q
  • 2. RAZONAMIENTO LÓGICO RECORDEMOS: Se llama "argumento" o razonamiento lógico, a una secuencia de proposiciones, en la que una de ellas llamada "conclusión", se obtiene de otras llamadas "premisas". La Lógica tiene como principal objetivo, la determinación de la validez o no de los razonamientos. VALIDEZ DE UN ARGUMENTO. Se dice que un razonamiento es "válido" si, al ser verdaderas sus premisas, lo es también su conclusión; es decir, no puede darse el caso de que las premisas sean verdaderas y la conclusión falsa (sí se diera este caso, se dice que el argumento es "no válido"); entonces, para comprobar si un esquema formal de razonamiento es válido o no, podemos asociar a ese razonamiento, una implicación cuyo antecedente sea la conjunción de las premisas, y el consecuente sea la conclusión. Es decir, un razonamiento deductivo puede escribirse en la forma: Conjunción de premisas → Conclusión Es decir : ( p1 ∧ p2 ∧ ... ∧ pn ) → C ( α ) O en forma abreviada: P → C Esquemáticamente: p1 p2 ... pn C Donde p1, p2, ... , pn , son premisas verdaderas. Así, un razonamiento deductivo es válido, si la implicación mostrada en ( α) es una TAUTOLOGÍA. MÉTODOS DE DEMOSTRACIÓN DE LA VALIDEZ DE UN ARGUMENTO. Directo : Según este método, sabiendo que las premisas del antecedente de (α) son verdaderas, se debe demostrar que la conclusión C también es verdadera; y para ello, se puede utilizar cualquiera de las reglas de inferencias mostradas en la siguiente página. Indirecto : En el método indirecto, se debe incluir ∼C entre las premisas originales de (α). Para que el razonamiento sea válido, es necesario mostrar que, al utilizar las diversas reglas de inferencia, la implicación: ( p1 ∧ p2 ∧ ... ∧ pn ∧ ∼C ) → C, genera una antitautología; es decir, el valor de verdad de esta implicación es falso ( F ). Condicional : Si se pretende demostrar la implicación m → n, se deberá introducir m como nueva premisa; y operando con las restantes, se deberá obtener n para que el razonamiento sea válido. REGLA DE LAS PREMISAS: En la inferencia lógica, cualquier premisa puede reemplazarse por una equivalente; es decir, se pueden utilizar sin problemas, las fórmulas de simplificación ya estudiadas.
  • 3. REGLAS DE INFERENCIA 1. Adición (LA): Forma esquemática Condicional asociada p p ∨ q p → ( p ∨ q ) 2. simplificación (S): Forma esquemática Condicional asociada p ∧ q p ( p ∧ q ) → p 3. Adjunción (A): Forma esquemática Condicional asociada p q p ∧ q ( p ∧ q ) → ( p ∧ q ) 4. Modus ponendo ponens (MP): Forma esquemática Condicional asociada p → q p q [ ( p → q ) ∧ p ] → q 5. Modus tollendo tollens (MT): Forma esquemática Condicional asociada p → q ∼q ∼p [ ( p → q ) ∧ ∼q ] → ∼p 6. Modus tollendo ponens o silogismo disyuntivo (MTP): Forma esquemática Condicional asociada p ∨ q ∼p q [ ( p ∨ q ) ∧ ∼p ] → q 7. Silogismo hipotético (SH): Forma esquemática Condicional asociada p → q q → r p → r [ ( p → q ) ∧ ( q → r ) ] → ( p → r ) 8. Silogismo disyuntivo o Dilema constructivo (SD): Forma esquemática Condicional asociada p → q r → s p v r q ∨ s [ ( p → q ) ∧ ( r → s ) ∧ ( p ∨ r ) ] → ( q ∨ s ) 9. Dilema destructivo (DD): Forma esquemática Condicional asociada p → q [ ( p → q ) ∧ ( r → s ) ∧ ( ∼q ∨ ∼s ) ] → ( ∼p ∨ ∼r ) r → s ∼q ∨ ∼s ∼p ∨ ∼r Importante: Se comprueba la validez de estas reglas de inferencia, demostrando que la correspondiente condicional asociada es una tautología.