Actividad 4.

Tablas de verdad

1. Clasificar las siguientes fórmulas en tautológicas, contingentes o contradictorias.

a) ( p ∧q) → q
b) ¬ ( ¬ q ↔ ¬r ) →(q ∨r )
c) ¬[¬ ( ¬r ↔ ¬ s ) ∨ ( p ∨¬q ) ]
d) ¬(r ∨q)→( p∨ ¬ p)
e) ¬[¬ ( s ∨r ) ∨ ( ¬r → s ) ]

2. Probar mediante tablas de verdad esta selección de tautologías notables.

a) Principio de identidad: A→ A
b) Principio de no contradicción: ¬( A ∧¬ A)
c) Principio del tercero excluso: ¬ A∨ A
d) Paradoja positiva del condicional material: A →(B→ A)
e) Paradoja negativa del condicional material: ¬ A →( A → B)
f) Paradoja de conmesurabilidad: ( A → B ) ∨(B → A )
g) Principio de explosión o del Seudoscoto: ( A ∧¬ A )→ B
h) Ley de Clavius: (¬ A → A)→ A
i) Ley de Peirce: (( A → B)→ A )→ A