作者smilefish (忘记买宵夜达人)
看板B93310XXX
标题Re: [情报] 给有修逻辑丙的同学 :)
时间Fri Oct 22 18:41:18 2004
※ [本文转录自 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)