p q ~(pvq)

1 1 0
1 1 0
1 0 0
1 0 0
0 1 0
0 1 0
0 0 1
0 0 1
p q r ((pvq)->r)
1 1 1 1
1 1 0 1
1 0 1 1
1 0 0 1
0 1 1 1
0 1 0 1
0 0 1 0
0 0 0 1
r q ~(R<->Q)
1 1 1
0 1 0
1 0 0
0 0 1
P q PV~q
1 1 1
1 1 1
1 0 0
1 0 1
P P ~(pvp)
1 1 0
1 1 0
1 1 1
1 1 1
p q ((p->q)v(q->p))
1 1 1
1 1 1
1 0 1
1 0 1
P q (p->q)^~(p->q)
1 1 0
1 1 0
1 0 0
1 0 0
 L S L->S S
1 1 0 1
p1 L 1 0 0 0
p1 L->S 0 1 1 1
S 0 0 0 0

CONLUCION VALIDA
 M ME MOJO
L LLUEVE

P1 P2 C
P1 M L L->M L
P2 L->M 1 1 0 1
PV~L 1 0 1 0
0 1 0 1
0 0 0 0

CONCLUCION VALIDA
 M:"HA CAIDO UN METIORITO"
D:"DINOSAURIOS SE HAN EXTINGUIDO
P1 P2 C
P1 M->D M D M->D D M
P2 D 1 1 0 1 1
≡ M 1 0 0 0 1
0 1 1 1 0
0 0 0 0 0

CONCLUCION NO VALIDA
P1 L->M P1
P2 Pv~L L M P L->M
≡ L->M^P 1 1 1 1
1 1 0 1
1 0 1 0
1 0 0 0
0 1 1 1
0 1 0 1
0 0 1 1
0 0 0 1

CONCLUCION LOGICAMENTE VALIDA

 P2
~L Pv~L M^P L->M^P
0 1 1 1
0 0 1 1
0 1 1 1
0 0 0 0
1 1 1 1
1 1 1 1
1 1 1 1
1 1 0 1
 P:"SI EN LA LUNA HAY VIDA ENTONSES EN LA LUNA HAY AGUA
Q: EN LA LUNA HAY AGUA
P1 P2
P1 P->Q P Q P->Q ~P ~Q
P2 ~P 1 1 1 0 0
~Q 1 0 0 0 1
0 1 1 1 0
0 0 1 1 1

CONCLUICION NO VALIDA
 P:ESTUDIO LOGICA
Q:"EXAMEN CONOCIDO
R:"APRUEBO LOGICA
S APRUEBO FILOSOFIA
P1
P1 ~PVV Q ~P P Q R S ~PVV Q
P2 Q->R 0 1 1 1 1 1
P3 R->S 0 1 1 1 0 1
C P->S 0 1 1 0 1 1
0 1 1 0 0 1
0 1 0 1 1 0
0 1 0 1 0 0
0 1 0 0 1 0
0 1 0 0 0 0
1 0 1 1 1 0
1 0 1 1 0 0
1 0 1 0 1 0
1 0 1 0 0 0
1 0 0 1 1 1
1 0 0 1 0 1
1 0 0 0 1 1
1 0 0 0 0 1

CONCLUCION NO VA
 P2 P3 C
Q->R R->S P->S
1 1 1
1 0 0
1 1 1
1 1 0
0 1 1
0 0 0
0 1 1
0 1 0
1 1 1
1 0 1
1 1 1
1 1 1
1 1 1
1 0 1
1 1 1
1 1 1

CONCLUCION NO VALIDA
P:"
 P:"SI YA NO ESTUDIA
q: SACARRA EL CURSO
r : SE DIVIERTE EN CLASE

P1 P->Q ~R ~P P Q R P->Q
P2 ~P->R 0 0 1 1 1 1
P3 ~Q->~R 1 0 1 1 0 1
0 0 1 0 1 0
1 0 1 0 0 0
0 1 0 1 1 1
1 1 0 1 0 1
0 1 0 0 1 1
1 1 0 0 0 1

CONCLUCION ES Valida
~P->R ~Q->~R ~Q C
1 1 0 1
1 1 0 1
1 0 1 0
1 1 1 0
1 1 0 1
0 1 0 1
1 0 1 0
0 1 1 0