Download - 1.2 equivalencias proposicionales
![Page 1: 1.2 equivalencias proposicionales](https://reader031.vdocumento.com/reader031/viewer/2022030207/58aa1ef91a28abff6b8b574d/html5/thumbnails/1.jpg)
Sección 1.2EQUIVALENCIAS PROPOSICIONALES
Tomado de Matemáticas Discretas y sus Aplicaciones. Rosen
Esteban Andrés Díaz Mina
![Page 2: 1.2 equivalencias proposicionales](https://reader031.vdocumento.com/reader031/viewer/2022030207/58aa1ef91a28abff6b8b574d/html5/thumbnails/2.jpg)
Clasificación de Expresiones Lógicas
Definición 1.
Tautología: es una expresión lógica que es True paratodas las asignaciones de valores de verdad.
Contradicción: es una expresión lógica que es False paratodas las asignaciones de valores de verdad.
Contingencia: es una expresión lógica que no es nitautología ni contradicción.
![Page 3: 1.2 equivalencias proposicionales](https://reader031.vdocumento.com/reader031/viewer/2022030207/58aa1ef91a28abff6b8b574d/html5/thumbnails/3.jpg)
Ejemplos
![Page 4: 1.2 equivalencias proposicionales](https://reader031.vdocumento.com/reader031/viewer/2022030207/58aa1ef91a28abff6b8b574d/html5/thumbnails/4.jpg)
Equivalencia Lógica
Definición 2. Las proposiciones p y q son llamadas
lógicamente equivalentes si p↔q es una tautología.
La expresión p≡q denota que p y q son lógicamente
equivalentes.
Ex. Muestre que ¬ 𝑝 ∨ 𝑞 𝑦 ¬𝑝 ∧ ¬𝑞 son logicamente
equivalentes.
![Page 5: 1.2 equivalencias proposicionales](https://reader031.vdocumento.com/reader031/viewer/2022030207/58aa1ef91a28abff6b8b574d/html5/thumbnails/5.jpg)
Equivalencias
Lógicas
![Page 6: 1.2 equivalencias proposicionales](https://reader031.vdocumento.com/reader031/viewer/2022030207/58aa1ef91a28abff6b8b574d/html5/thumbnails/6.jpg)
Ejemplo Equivalencia Lógica
![Page 7: 1.2 equivalencias proposicionales](https://reader031.vdocumento.com/reader031/viewer/2022030207/58aa1ef91a28abff6b8b574d/html5/thumbnails/7.jpg)
Equivalencias
Lógicas