GUÍA TAUTOLOGÍAS

LÓGICA MATEMÁTICA
Universidad de Caldas
Docente: Diego A. Londoño P.

En las página que sigue, encontrarás una lista de tautologías, distribuidas en equivalencias e implicaciones lógicas de interés en las
aplicaciones que veremos a lo largo del curso. Cabe señalar que una contradicción la denotaremos con el símbolo ⊥ (bot) y lo que
siempre es verdadero con el símbolo ⊤ (top).

Equivalentes Implicativas

1. Doble negación 1. Adición

¬( ¬ ) p ⟺ p p ⟹ ( p q
∨ )
2. Leyes conmutativas
p q q p 2. Simplificación
p q q p
( ∨ ) ⟺ ( ∨ )

p q
( ∧ ) ⟺ (

q p
∧ )
p q p
p q q
∧ ⟹
( ↔ ) ⟺ ( ↔ )
∧ ⟹
3. Leyes asociativas
p q r p q r 3. Modus ponens
p q r p q r
( ∨ )∨ ⟺ ∨( ∨ )

4. Leyes distributivas
∧ )∧ ⟺ ∧( ∧ )
p p q
∧ → ⟹ q
p q r p q p r
p q r p q p r
∧( ∨ ) ⟺ ( ∧ )∨( ∧ )
4. Modus tollens

p q q p
∨( ∧ ) ⟺ ( ∨ )∧( ∨ )
→ ∧¬ ⟹ ¬
5. Leyes de idempotencia
p p p
p p p
( ∨ ) ⟺

( ∧ ) ⟺
5. Silogismo disyuntivo
6. Leyes de De Morgan p q p q
p q q p
[( ∨ )∧¬ ] ⟹

p q p q [( ∨ )∧¬ ] ⟹

p q p q
¬( ∨ ) ⟺ ¬ ∧¬

¬( ∧ ) ⟺ ¬ ∨¬

7. Ley de implicación 6. Transitividad de ↔

p q → ⟺ ¬ p q
∨
( p q q r
↔ )∧( ↔ ) ⟹ ( p r ↔ )

7. Transitividad de → o silogismo hipotético

8. Negación de la implicación

¬ p q → ⟺ p q ∧¬
p q
→ ∧ q r
→ ⟹ p r →

9. " ∧ " y " ∨ " en términos de implicación

8. Sin nombre asignado (queda a su gusto)
( p q ∨ ) ⟺ ¬ p q
→
p q p r q r
p q p q
→ ⟹ ( ∨ )→( ∨ )

( ∧ ) ⟺ ¬ →¬
p q → ⟹ ( p r q r
∧ )→( ∧ )

10. Sin nombre asignado (queda a su gusto) p q → ⟹ q r p r

→ → →

p q q r
→ ∧ → ⟺ (p q r ∨ )→

p q p r
→ ∧ → ⟺ p q r
→( ∧ ) 9. Dilemas constructivos

11. Bicondicional doble condicional p q

→ ∧ r s → ⟹ ( p r ∨ )→( q s ∨ )

( p q
↔ ) ⟺ p q → ∧ q p → p q
→ ∧ r s → ⟹ ( p r ∧ )→( q s ∧ )

12. Ley de exportación

( p q r
∧ )→ ⟺ p q r
→ →
10. Dilemas destructivos

p q
→ ∧ r s→ ⟹ (¬ q s ∨ ¬ ) → (¬ p r
∨¬ )
13. Principio del tercero excluso

p p
∨¬ ⟺ ⊤
p q
→ ∧ r s→ ⟹ (¬q s ∧ ¬ ) → (¬ p r∧¬ )

14. Principio de contradicción

p p
∧¬ ⟺ ⊥

15. Reducción al absurdo

p q → ⟺ ( p q
∧¬ )→ ⊥

16. Leyes de idendidad

p p p
p p p
∨⊤ ⟺ ⊤ ∨ ⊥⟺

∧⊤ ⟺ ∧ ⊥⟺⊥