※ [本文轉錄自 B93305XXX 看板]
這是另外一份 ^^
一、填空題(8%)
1.我的姓名是:_________
2.每一個論證至少需要 ______ 個前提
二、是非題(12%)
1.真的語句一定永遠為真 ( )
2.矛盾句不可能永遠都假 ( )
三、語句的分類(10%)仍需列真值表
1.(p → q)．(p → ~ q) ____
2.(p．~ p) → (p v ~ p) _____
四、舉例(20%)
1.前提和結論都是真的無效論證
2.有效但卻不妥當的論證
五、證明(用真值表推演法20%)
(一)1.p → (q → r)/∴(p．q) → r
(二)1.p → q
2. ~ p /∴ ~ q
六、證明(用自然演繹法30%)
(一)1.p v q
2.p → q / ∴ r → q
(二)1. A → (B → C)
2. D v ~ C / ∴ A → (B → D)
(三)證明Simp是多餘的.
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 203.73.87.147
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 203.73.87.147
※ 編輯: smilefish 來自: 203.73.87.147 (10/22 18:41)