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