作者thalesf (Rough)
看板logic
標題Re: 請教一個基本證明問題
時間Thu Jul 7 00:30:25 2005
※ 引述《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
1F：推 creak:謝謝你 219.68.150.203 07/07