课程名称︰逻辑
课程性质︰通识A4
课程教师︰彭孟尧
开课学院：文学院
开课系所︰哲学系
考试日期（年月日）︰2014.4.1
考试时限（分钟）：110分钟
是否需发放奖励金：是
试题 :
◎本次考试不是open book，考试时禁止讨论、交谈
◎请关闭手机声音，考试时不得使用手机、笔电、或任何电子产品
◎考完即可交卷，试题纸不必交回
◎请仔细阅读题目，审慎作答
◎本次考试有三大题，共13题，请仔细阅读题目，审慎作答
◎如果需要翻译“或”，请一律使用“相容或”来解释，以避免任何争议。
=========================================================================
I. 请将下列语句以语句逻辑的符号来表示(各6分)：
(1) 除非张三选修逻辑和哲学概论，否则张三部选修西方哲学史。
(A：张三选修逻辑，B：张三选修哲学概论，D：张三选修西方哲学史)
(2) 张三不是在图书馆就是在实验室。
(A：张三在图书馆，B：张三在实验室)
(3) 张三如果有选修哲学概论，就没有选修逻辑。
(A：张三有选修哲学概论，B：张三有选修逻辑)
(4) 张三只有学过命题逻辑，才学述词逻辑。
(A：张三学过命题逻辑，B：张三学术词逻辑)
(5) 张三既没有学过逻辑，也没有学过哲学。
(A：张三学过逻辑，B：张三学过哲学)
(6) 张三不只聪明，而且用功。
(A：张三聪明，B：张三用功)
II.请判断下列推论是否有效(真值表、简短真值表、树枝法均可) (各8分)
(7) 1. H>(F^G)
2. HvF
3. F>(G>K) /~HvK
(8) 1. Av~(AvB) / ~A>(~AvB))
(9) 1. A>~(H^G)
2. ~(A>B)^(~B>G) / ~(HvA)
III. 下列有效论证，请使用推论规则证明(直接证法、条件正法、反证法均可)
(各10分)
(10) 1. (A^B)>E
2. (B>E)>G
3. ~(Dv~A) / G^~D
(11) 1. (AvP)>(Q>R)
2. (PvB)>(E>D)
3. (DvP)>(QvE)
4. SvP / RvD
(12) 1. A>(~D>C)
2. ~D>(C>B)
3. ~(D^A) / A>B
(13) 1. A三R
2. D>(R^E)
3. ~A^~R / ~D