Re: 請教一個基本證明問題

[thalesf (Rough)]

※ 引述《creak (習慣唸書)》之銘言：
: Use the eighteen valid argument forms to prove the following arguments,
: 1.(A‧B) V C
: 2. ~C‧~B                 /∴C≡(A→(C≡~B)
: 如果不用CP跟IP,該怎麼證呢?想不透

1.(A‧B) V C
2. ~C‧~B
3.~C                 2 Simp
4.~B                 2 Simp
5.A‧B               1,3 DS
6.B                  5 Simp
7.B V C≡(A→(C≡~B) 6 Add
8.C≡(A→(C≡~B)     4,7 DS     qed

這好像是Lewis的證法...在有B跟~B的情形下可以證明出任何句子 q是任何語句
1.B
2.~B
3.B v q 1 Add
4.q     2,3 DS

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 218.171.143.73
推 creak:謝謝你