1. DEMOSTRACION INDIRECTA
1.
a. ~QνR P
b. P→~R P
c. Q---------------- P
d. P---------------- P
e. ~R-------------- PP 2,4
f. ~Q-------------- TP 1,5
g. QΛ~Q--------- 4.3,6
h. P→QΛ~Q-CP 4,7
i. ~P-------------- A b 8
2. Demostración ~D
a. D→W------------ P
b. Aν~W------------ P
c. ~(DΛA)---------- P
d. D------------------ P
e. W----------------- PP 1,4
f. A------------------ TP 2,5
g. ~Dν~A---------- DL 3
h. ~A---------------- TP 4,7
i. AΛ~A------------ A 6,8
j. ~D--------------- R A A