课程名称︰逻辑 课程性质︰通识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 --

※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 140.112.247.230 ※ 文章网址: http://webptt.com/cn.aspx?n=bbs/NTU-Exam/M.1396334976.A.2B7.html ※ 编辑: perhdball (140.112.247.230), 04/01/2014 14:51:08