Download - 1.2 equivalencias proposicionales
Sección 1.2EQUIVALENCIAS PROPOSICIONALES
Tomado de Matemáticas Discretas y sus Aplicaciones. Rosen
Esteban Andrés Díaz Mina
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.
Ejemplos
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.
Equivalencias
Lógicas
Ejemplo Equivalencia Lógica
Equivalencias
Lógicas