作者smilefish (忘記買宵夜達人)
看板B93305XXX
標題Re: [情報] 給有修邏輯丙的同學 :)
時間Fri Oct 22 18:39:50 2004
這是另外一份 ^^
一、填空題(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
1F：推 dolphinfly:劉董~~我要你的課本ㄚ~~別忘了捏~~^0^y 140.112.7.59 10/22
2F：推 smilefish:okok阿 203.73.87.147 10/22