Post on 03-Oct-2015
description
1) (p q) r : CONTINGENTEp q r p q (p q) r1 1 1 1 11 1 0 1 01 0 1 0 11 0 0 0 10 1 1 0 10 1 0 0 10 0 1 0 10 0 0 0 1
2) (p q) (p r) = A : CONTINGENTEp q r q r p v q p r A1 1 1 0 0 1 0 01 1 0 0 1 1 1 11 0 1 1 0 1 1 11 0 0 1 1 1 1 10 1 1 0 0 0 1 00 1 0 0 1 0 1 00 0 1 1 0 1 1 10 0 0 1 1 1 1 1
3) p p q = A : TAUTOLOGAp q p v q A1 1 1 11 0 1 10 1 1 10 0 0 1
4) (p q) p = A : TAUTOLOGAp q p q A1 1 1 11 0 0 10 1 0 10 0 0 1
5) (p q) (p q) = A : CONTINGENTEp q p q p q p q A1 1 0 0 1 0 01 0 0 1 0 1 10 1 1 0 0 1 10 0 1 1 0 1 1
6) (p q) (p q) = A : TAUTOLOGAp q q p q p q (p q) A1 1 0 1 0 1 11 0 1 0 1 0 10 1 0 1 0 1 10 0 1 1 0 1 1
7) (p q) (p q) = A : TAUTOLOGAp q p q p q p q (p q) A1 1 0 0 1 0 1 11 0 0 1 1 0 1 10 1 1 0 1 0 1 10 0 1 1 0 1 0 1
8) p (q p) = A : TAUTOLOGAp q q p A1 1 1 11 0 1 10 1 1 10 0 0 1
9) p p p = A : CONTINGENTEp q p p A1 1 1 11 0 0 00 1 0 10 0 0 1
10) (p q) (p q) = A : CONTINGENTEp q p q p q p q A1 1 0 0 1 0 01 0 0 1 0 0 10 1 1 0 1 0 00 0 1 1 1 1 1
11) (p q) (q p) = A : CONTINGENTEp q p q p q q p A1 1 0 0 1 1 11 0 0 1 0 1 10 1 1 0 1 0 00 0 1 1 1 1 1
Tablas de verdad RESUELTAS
pginas 1/2
12) ((p q) p) q = A : TAUTOLOGAp q p q (p q) p A1 1 1 1 11 0 0 0 10 1 1 0 10 0 1 0 1
13) [[((p q) r) (p q))]=A r] = B : CONTINGENTE
p q r p q (p q) ((p q) r) A B1 1 1 1 0 1 1 11 1 0 1 0 0 0 11 0 1 0 1 1 1 11 0 0 0 1 1 1 00 1 1 0 1 1 1 00 1 0 0 1 1 1 00 0 1 0 1 1 1 00 0 0 0 1 1 1 0
14) [((p q) (p r) (q-> r))]=A r = B : TAUTOLOGA
p q r p q p r q-> r) A B1 1 1 1 1 1 1 11 1 0 1 0 0 0 11 0 1 1 1 1 1 11 0 0 1 0 1 0 10 1 1 1 1 1 1 10 1 0 1 1 0 0 10 0 1 0 1 1 0 10 0 0 0 1 1 0 1
15) [ ((p (p q)) (p (p q))) ] = A : CONTRADICCIN
p q p q p (p q) (p (p q) A A1 1 1 1 0 1 01 0 0 0 1 1 00 1 0 1 0 1 00 0 0 1 0 1 0
16) (p q) (p q) = A : CONTRADICCINp q p q p q (p q) A1 1 1 0 0 0 01 0 0 0 1 1 00 1 0 1 0 1 00 0 0 1 1 1 0
17) ((p q) (p q)) = A : TAUTOLOGAp q p q p p q A1 1 1 0 1 11 0 0 0 0 10 1 1 1 1 10 0 1 1 1 1
18) (p q) (r (p q)) = A : CONTINGENTE
p q r q p q p q r (p q) A1 1 1 0 1 0 0 01 1 0 0 1 0 0 01 0 1 1 0 1 1 01 0 0 1 0 1 0 00 1 1 0 1 1 1 10 1 0 0 1 1 0 00 0 1 1 1 1 1 10 0 0 1 1 1 0 0
19) [(p q) [(((r q) t) (p q)) ]= A]= B: TAUTOLOGA
p q r t p q r q (r q) t A B1 1 1 1 1 1 1 1 11 1 1 0 1 1 0 1 11 1 0 1 1 1 1 1 11 1 0 0 1 1 0 1 11 0 1 1 0 1 1 0 11 0 1 0 0 1 0 1 11 0 0 1 0 0 1 0 11 0 0 0 0 0 1 0 10 1 1 1 1 1 1 1 10 1 1 0 1 1 0 1 10 1 0 1 1 1 1 1 10 1 0 0 1 1 0 1 10 0 1 1 1 1 1 1 10 0 1 0 1 1 0 1 10 0 0 1 1 0 1 1 10 0 0 0 1 0 1 1 1
Tablas de verdad RESUELTAS
pginas 2/2