ALGEBRA I LÓGICA PROPOSICIONAL

PRÁCTICA I

Construya la tabla de verdad de las siguientes proposiciones e indique si se trata de una

Tautología​, ​Contradicción ​o ​Contingencia​.

1. ∼ ( p ∨ q ) ⊻ ( ∼p ∧ ∼q )
2. ( p → q ) ↔ ( r ∧ ∼p )
3. [ (p → q) ∧ (q → r) ] → (p → r)
4. [ ( p → q ) ↔ ( ∼r ∧ s ) ] ⊻ ( ∼q ∨ r)
5. ( r ⊻ q) ∧ [ ( ∼p ∨ s) ↔ ( ∼q → ∼r) ]
6. [ ( p → q ) ↔ ( ∼r ∧ s ) ] ⊻ ( ∼q ∨ r )
7. ( r ⊻ q ) ∧ [ ( ∼p ∨ s ) ↔ ( q → ∼r ) ]
8. { ∼ [ ( q ∧ p ) ∨ ( p → ∼q ) ] ∧ (∼q ↔ ∼p)} → ∼p

Ing. Jose Isaac Fuentes Medrano