PROPOSICIONES

1. Problema 13

a) Pv ~ q  q  P

V V V V V V V
V V F F F V V
F F F V V V F
F V F F F V F
Tautología

b) Pv  q  q  P

V V V V V V V
V F F F F V F
F F V V V V V
F F F F F V F
Tautología

c) ~ P  q ~ r   ~ P  q ~  p  r 

V F V F F V F F V F F V V V
V F V V V F F F V F F V V F
V F F F F V F F F F F V V V
V F F F V V F F F F F V V F
F F V F F V V V V V F F V V
F V V V V V V V V V V F F F
F F F F F V V F F V F F V V
F V F F V F V F F V V F F F
No es tau logia

2. Problema17

a) ~ P  q   P ~ q 

F V V V F V V F
V V F F V V V V
V F F V F F F F
V F F F V F V V
No es contradicción

b) ~ P  q   P ~ q 

F V V V V V F F
V V F F V V V V
 F F V V V F F F
F F V F V F F V
No es contradicción

c) ~ P  q  ~ P ~ q

F V V V F F V F
V V F F F F F V
V F F V F V F F
F F V F F V V V
Contradicción

3. Problema 18

a) ~ P  q  P  q

F F V V V V F F V V V
F F V V F V V V V F F
F F F V V V F F F V V
F V F F F V V F F V F
No es tautología

b) ~ P  q  P  q 

F F V F V V V
F V F F V F F
V V V V F V V
V F F F F V F

c) ~ P  q  P  ~ P  q  P ~ q

V V V V V V F F V V F V F F
V F F F V F F F F F F V V V
F F V F F F V V V V F F V F
F F F F F F V V V F F F V V

4. Problema 22

a) P  q  P  ~ P  q   p ~ q

b) ~ ~ P  q ~ q  P  q

c) ~ ~ P  q  P  q
5. Problema