I) Completa Completa la siguiente tabla y luego clasifícala clasifícala en tautología, tautología, contingencia contingencia o contradicción:
p q ~p
~q
(~p ^ ~q)
(~p ^ ~q)→ (p v q)
(p v q)
V V F
F
F
V
V
V F F
V
F
V
V
F V V
F
F
V
V
F F V
V
V
F
F
II) Demuestre por medio de tablas de verdad si la siguientes proposiciones son Tautología (T) Contingencia o Indeterminación (k) o Contradicción (C) a) [(p → q) ∧ ~p] →~q (Contingencia) (Contingencia)
p q ~p
~q
( P→q) ( P→q)^~p
[ (
V V F
F
V
F
V
V F F
V
F
F
V
F V V
F
V
V
F
F F V
V
V
V
V
P→q)^~p]→~ q
b) [(p v q) ∧ r] ↔ [(p ↔q) v r ] (Contingencia) ] (Contingencia)
(p ↔q) [(p v q)
[(p ↔q) v r ]
P
q
R
(p v q)
V
V
V
V
V
V
V
V
V
V
F
V
V
F
V
F
V
F
V
V
F
V
V
V
V
F
F
V
F
F
F
V
F
V
V
V
F
V
V
V
F
V
F
V
F
F
F
V
F
F
V
F
V
F
V
F
F
F
F
F
V
F
V
F
r]
[(p v q)
r] ↔ [(p ↔q) v r ]
F) [(p V q) ^ ( p→ r) ^ ¬ r] → q (Tautologia) (Tautologia) P
Q
R
~R
PvQ
Q→R
(PVQ) ᶺ (Q→R)
(PVQ) ᶺ (Q→R) ᶺ ~R
[PVQ) ᶺ (Q→R)ᶺ~R] →P
V
V
V
F
V
V
V
F
V
V
V
F
V
V
F
F
F
V
V
F
V
F
V
V
V
F
V
V
F
F
V
V
F
F
F
V
F
V
V
F
V
V
V
F
V
F
V
F
V
V
V
V
V
V
F
F
V
F
F
V
F
F
V
F
F
F
V
F
V
F
F
V
H) [(p ˄ q) ˅ ~r)] ↔(~p ˄ r) r) P
Q
R
~P
~R
PᶺQ
~PᶺR
[(p ˄ q) ˅ ~r)]
[(p ˄ q) ˅ ~r)] ↔(~p ˄ r)
V
V
V
F
F
V
F
V
F
V
V
F
F
V
V
F
V
F
V
F
V
F
F
F
F
F
V
V
F
F
F
V
F
F
V
F
F
V
V
V
F
F
V
F
F
F
V
F
V
V
F
F
V
F
F
F
V
V
F
F
V
F
F
F
F
F
V
V
F
F
V
F
III) Utilice las reglas de inferencia para determinar el valor de verdad de las siguientes formas argumentales: a) H1: P H2: P Q H3: Q R _________ C: ┐P Λ R [{Pᶺ(P→Q}) ᶺ (Q→R)]→(~PᶺR) P
Q
R
~P
P→Q P→
Q→R
~PᶺR Pᶺ(P→Q)
{Pᶺ(P→Q})ᶺ(Q→R)
[{Pᶺ(P→Q})ᶺ(Q→R)] R)]→ →(~PᶺR)
V
V
V
F
V
V
F
V
V
F
V
V
F
F
V
F
F
V
F
V
V
F
V
F
F
V
F
F
F
V
V
F
F
F
F
V
F
F
F
V
F
V
V
V
V
V
V
F
F
V
F
V
F
V
V
F
F
F
F
V
F
F
V
V
V
V
V
F
F
V
F
F
F
V
V
V
F
F
F
V
b) P1: P Λ Q P2: P Q P3: Q R _________ C: ┐P Λ R {[(P Λ Q)ᶺ(P→Q)]ᶺ(Q→R)}→( Q )ᶺ(P→Q)]ᶺ(Q→R)}→(~Pᶺ ~PᶺR) R) P
Q
R
~P
P ΛQ P→Q
Q→R
~PᶺR (P Λ Q)ᶺ( P→Q)
(Q→R)}
{[(P Λ Q)ᶺ( P→Q)]ᶺ (Q→R)}→(~PᶺR)
{[(P Λ Q)ᶺ( P→Q)]ᶺ
V
V
V
F
V
V
V
F
V
V
F
V
V
F
F
V
V
F
F
V
F
V
V
F
V
F
F
F
V
F
F
F
V
V
F
F
F
F
F
V
F
F
F
V
F
V
V
V
F
V
V
V
F
F
V
F
V
F
V
F
V
F
F
F
F
V
F
F
V
V
F
V
V
V
F
F
V
F
F
F
V
F
V
V
F
F
F
V
IV) Compruebe que las siguientes reglas de inferencias son tautologías
Modus Ponens
P
Q
P→Q
(P→Q)ᶺP
[(P→Q)ᶺP]→Q
V
V
V
V
V
V
F
F
F
V
F
V
V
F
V
F
F
V
F
V
Modus Tollens
P
Q
~P
~Q
P→Q (P→Q)ᶺ~Q
[(P→Q)ᶺ~Q]→~P
V
V
F
F
V
F
V
V
F
F
V
F
F
V
F
V
V
F
V
F
V
F
F
V
V
V
V
V
V) Compruebe la equivalencia lógica en cada caso: caso:
Thank you for interesting in our services. We are a non-profit group that run this website to share documents. We need your help to maintenance this website.