作者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