Documentos de Académico
Documentos de Profesional
Documentos de Cultura
p→q
r→p
~q
~p
[(p→q) ^ (r→p) ^ (~q)] → ~p
p q r ~p ~q (p→q) (r→p) (p→q) ∧ (r→p) [(p→q) ∧ (r→p) ∧ (~ q)] [(p→q) ∧ (r→p) ∧ (~ q)] → ~ p
V V V F F V V V F V
V V F F F V V V F V
V F V F V F V F F V
V F F F V F V F F V
F V V V F V F V F V
F V F V F V V V F V
F F V V V V F F F V
F F F V V V V V V V
Tautología
2. Si viene en bus, estaré a las doce
p q
Si viene en carro, estaré antes de las doce
r q
Luego, si viene en bus como si viene en carro
p r
Estaré antes de las doce
q
p→q
r→q
p→q
q
[(p→q) ^ (r→q)] → [(p→r) ^ (q)]
p q r (p→ q) (r→q) [(p→ q) ^ (r→q)] (p→r) (q) [(p→r)^(q)] [(p→ q) ^ (r→q)] →[(p→r)^(q)]
V V V V V V V V V V
V V F V V V F V F F
V F V F F F V F F V
V F F F V F F F F V
F V V V V V V V V V
F V F V V V V V V V
F F V V F F V F F V
F F F V V V V F F F
Contingencia
3. Si canto bien, entonces no gano el concurso
p → ~q
No ganaré el concurso porque tengo pocos votos por la red
~q r
No canté bien
~p
Gané el concurso
q
p → ~q
r→~q
~p
q
[(p→~q) ^ (r→~q) ^ (~p)] → q
p q r ~p ~q (P → ~q) (r → ~q) (P → ~q) ^ (r → ~ q) [(P → ~q) ^ (r → ~ q) ^ (~p)] [(P → ~q) ^ (r → ~q) ^(~p)] → q
V V V F F F F F F V
V V F F F F V F F V
V F V F V V V V F V
V F F F V V V V F V
F V V V F V F F F V
F V F V F V V V V V
F F V V V V V V V F
F F F V V V V V V F
Contingencia