※ [本文轉錄自 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)