Demostracion indirecta
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
-
Upload
milenacorodriguez -
Category
Education
-
view
937 -
download
3
Transcript of Demostracion indirecta
![Page 1: Demostracion indirecta](https://reader036.fdocuments.co/reader036/viewer/2022071721/55ae968b1a28abd8348b457a/html5/thumbnails/1.jpg)
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