MATEMATICA QUINTO / I.

E “HORACIO ZEVALLOS GAMEZ” /PORO PORO

17/10/2022
_____________________________________________________________________________

I.- Evaluar y simplicar los siguientes esquemas lógicos, y decir si son tautología o contingencia

TAUTOLOGÍA, es aquella proposición (compuesta) que es cierta para todos los valores de
verdad de sus variables.

CONTINGENCIA , es una proposición que da valores tantos falsos como verdaderos.

1.- Según la definición dada, indica qué tipo de esquema son las siguientes proposiciones:

Evaluar: pq [ (p ∧ q) ↔ (q → ∼p) ]
Evaluar: pq p → (p ∨ q)
Evaluar: pq [(p ∧ q) ↔ (q → ∼p) ]
Evaluar: pq [ p ∧ (p → q) ] ∨ ∼p
Evaluar: pq ∼ p → (q ∨ p)

2.- Simplifica:

pq: [ p→ ( p ∧ ∼ q) ] → (∼ p ∨ q )
pq : [(∼ p→q ) ∧ (q→ p ) ] ∧ ∼ p
pqr : [( p→q ) ∨ ( q ∧ r) ] ↔ ( r → q ).
pqrsw (p → q ) ∧ [p → ( r ∨ s)] ∧ [( r ∧ s) → t] ↔ w
pqr [ p ∧ ( q ∨ r)] ↔ [ ( p ∧ q ) ∨ ( p ∧ r) ]
pqrs [ (p ∧ q ) ∧ r] ↔ [p ∧ (q ∧ r) → s ]
pq p→ [ / ( q→ p ) ∧ (p→q) / ↔ (q→p) ]
pqrq [ (p ∧ r ) ∧ ( r→ q ) ] → [( p → q) ∨ (q ∧ r)] ↔ ( r →q )

_____________________________________________________________________________
Prof. Luis Calderón Vera