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