TAREA 1
Determinar por medio de una tabla de verdad, si cada una de las siguientes proposiciones es
tautología, contradicción o astigmatismo.
1. [(~𝒑 ∨ 𝒒) ∧ (𝒒 → 𝒓)] →∼ (𝒑 ∧∼ 𝒓)
CONTINGENCIA
2. [(~𝒑 ∨ 𝒒) →∼ 𝒓] ↔ [𝒓 ∧∼ (𝒑 ∨∼ 𝒒)]
TAUTOLOGIA
3. [(𝒓 →∼ 𝒑) ∧ (𝒑 →∼ 𝒒)] ∨ [(∼ 𝒑 → 𝒓) ∧ (∼ 𝒒 → 𝒑)]
CONTINGENCIA
p q r [(~𝒑 ∨ 𝒒) → ∼ 𝒓] ↔ [𝒓 ∧ ∼ (𝒑 ∨ ∼𝒒)]
V V V F V V F F V V F F V V F
V V F F V V V V F F F F V V F
V F V F F F V F F V F F V V V
V F F F F F V V F F F F V V V
F V V V V V F F F V V V F F F
F V F V V V V V F F F V F F F
F F V V V F F F V V F F F V V
F F F V V F V V F F F F F V V
p q r [(~p ∨ q) ∧ (q → r)] → ∼ (p ∧ ∼r)
V V V F V V V V V V V V V F F
V V F F V V F V F F V F V V V
V F V F F F F F V V V V V F F
V F F F F F F F F F V F V V V
F V V V V V V V V V V V F F F
F V F V V V F V F F V V F F V
F F V V V F V F V V V V F F F
F F F V V F V F F F V V V F V
P q r [(𝒓 → ∼ 𝒑) ∧ (𝒑 → ∼𝒒)] ∨ [(∼𝒑 → 𝒓) ∧ (∼𝒒 → 𝒑)]
V V V V F F F V F F V F V V V F V V
V V F F V F F V F F V F V F V F V V
V F V V F F F V F V V F V V V V V V
V F F F V F F V F V V F V F V V V V
F V V V V V F F F F F V V V V F V F
F V F F V V F F F F F V F F F F V F
F F F V V V F F F V F V V V F V F F
F F F F V V F F F V F V F F F V F F