作者smilefish (忘记买宵夜达人)
看板B93310XXX
标题[情报] 给有修逻辑丙的同学 :)
时间Fri Oct 22 18:41:09 2004
※ [本文转录自 B93305XXX 看板]
这是我之前修的时候的期中考考古题 :)
给大家参考一下 (应该不用附解答吧 @_@)
一、定义
1. 论证
2. 有效的论证
3. 妥当的论证
二、分类
1. p→ ~p
2. (p．~p)→ q
3. (p→ q)．(p→ ~q)
三、举例
1. 前提、结论都为真的无效语句。
2. 前提中有真有假，而结论为真的有效语句。
四、证明（真值表法）
（一）1. p→ q
2. ~p→ ~q /∴p≡q
（二）1. p→ q
2. ~p→ q /∴p→(q→p)
（三）1. p→ (qˇr) /∴(p→ q)ˇr
五、证明（自然演绎法）
（一）1. p→ q
2. p→~q /∴p→(r→~s)
（二）1. H→(A→B)
2. ~C→(HˇB)
3. H→A /∴CˇB
（三）1. (AˇB)→(C．D)
2. C→(H．K)
3. H →(~AˇM) /∴A→C
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 203.73.87.147
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 203.73.87.147
※ 编辑: smilefish 来自: 203.73.87.147 (10/22 18:41)