一、填空題(8%)
1.我的姓名是:_________
2.每一個論證至少需要 ______ 個前提
二、是非題(12%)
1.真的語句一定永遠為真 ( )
2.矛盾句不可能永遠都假 ( )
三、語句的分類(10%)仍需列真值表
1.(p > q)．(p > ~ q) ____
2.(p．~ p) > (p v ~ p) _____
">" 是 U 逆時轉90度
四、舉例(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: 140.112.8.151