Professional Documents
Culture Documents
Los siguientes son ejemplos de Tautologías, son las equivalencias (que tienen
forma Bicondicional) más importantes de lógica Formal, algunas son conocidas
como las leyes de Morgan y otras, las leyes del algebra de Boole.
como Disyunción
Prueba:
a) Equivalencia 1 ( E1): (A→ C) ↔ ¬ A ∨ C
Consideramos todas las proposiciones Atómicas y todas las moleculares que
estén presentes en la fórmula Proposicional que queremos probar como
Tautología:
A C ¬A ¬A∨ C A→ C (A→ C) ↔ ¬ A ∨
C
V V F V V V
V F F F F V
F V V V V V
F F V V V V
b) Equivalencia 2 ( E2): ¬( A→ C) ↔ A ∧ ¬ C
Realizamos nuevamente su tabla de Certeza y comprobamos si es una
tautología:
A C ¬C A ∧ ¬ C A→ C ¬( A→ C) ¬( A→ C) ↔ A ∧ ¬
C
V V F F V F V
V F V V F V V
F VF F V F V
F F V F V F V