Tablas de Verdad
Tablas de Verdad
Tablas de Verdad
- Si y sólo si investigo sobre los radares y descubro que son útiles, entonces
construiré un radar. Investigué sobre los radares y descubrí que son útiles. Por
lo tanto, construiré un radar.
{[(p ∧ q) ↔ r] ∧ (p ∧ q)} → r
2° 4° 3° Final
∧ ∧ ∧
1e
p q r {[( q) ↔ r] (p q)} → r
p
V V V V V V V V V V V V V V
V V F V V V F F F V V V V F
V F V V F F F V F V F F V V
V F F V F F V F F V F F V F
F V V F F V F V F F F V V V
F V F F F V V F F F F V V F
F F V F F F F V F F F F V V
F F F F F F V F F F F F V F
2° 3° Final
∧ ∧
1e
p q r {[(p ~q) → r] ~p} → ~r
V V V V F F V V F F V F
V V F V F F V F F F V V
V F V V V V V V F F V F
V F F V V V F F F F V V
F V V F F F V V V V F F
F V F F F F V F V V V V
F F V F F V V V V V F F
F F F F F V V F V V V V
3.- Si sigo un procedimiento aburrido y no hago las cosas a mi manera
entonces no disfruto la clase. Sigo un procedimiento aburrido y no hago las
cosas a mi manera. No disfruto la clase.
1e 2° 4° 3° Final
p q r {[( ∧ ~q) → ~r] ∧ (p ∧ ~q) → ~r
p }
V V V V F F V F F V F F V F
V V F V F F V V F V F F V V
V F V V V V F F F V V V V F
V F F V V V V V V V V V V V
F V V F F F V F F F F F V F
F V F F F F V V F F F F V V
F F V F F V V F F F F V V F
F F F F F V V V F F F V V V
4.- El ministro de Defensa polaco declaró que recibieron una amenaza de misil
y el país se vio en peligro, entonces se activó el ejército para atacar. El ministro
de Defensa polaco declaró que no recibieron una amenaza de misil y el país no
se vio en peligro. Entonces, no se activó el ejército para atacar.
2° 4° 3° Final
1e
p q r {[( ∧ q) → r] ∧ (~p ∧ ~q) → ~r
p }
V V V V V V V V F F F F V F
V V F V V V F F F F F F V V
V F V V F F V V F F F V V F
V F F V F F V F F F F V V V
F V V F F V V V F V F F V F
F V F F F V V F F V F F V V
F F V F F F V V V V V V F F
F F F F F F V F V V V V V V
5.- Un misil es un arma explosiva y destructiva, entonces puede acabar con
una ciudad. Un misil no es un arma explosiva y tampoco destructiva. Entonces,
no puede acabar con una ciudad.
1e 2° 4° 3° Final
p q r {[( ∧ q) → r] ∧ (~p ∧ ~q) → ~r
p }
V V V V V V V V F F F F V F
V V F V V V F F F F F F V V
V F V V F F V V F F F V V F
V F F V F F V F F F F V V V
F V V F F V V V F V F F V F
F V F F F V V F F V F F V V
F F V F F F V V V V V V F F
F F F F F F V F V V V V V V