课程名称︰逻辑 课程性质︰通识 课程教师︰彭孟尧 开课学院：文学院 开课系所︰哲学系 考试日期（年月日）︰2012/6/19 考试时限（分钟）：120 是否需发放奖励金：是 *本次考试为open book *考试时间2小时，题目纸无须交回 *本次考试有三大题。请仔细阅读题目，谨慎作答。 *请关闭手机声音，以免影响他人；考试时不得使用手机，如有特殊状况，必须使用手机， 请告诉助教。 试题 : 一.请将下列语句或论证改用述词逻辑的符号系统表示 (各5分) (1)美国(现任)总统已婚。 (Ax:x是美国(现任)总统; Bx:x已婚) (2)所以学生只有在准备考试时，才熬夜。 (Ax:x是学生; Bx:x在准备考试; Dx:x熬夜) (3)此次学生会会长选举，得票最高的那一位候选人是女性。 (Ax:x是此次学生会会长候选人； Bxy:x得票高於y; Dx:x是女性) (4)张三没有选修语言学和社会学，但是他选修心理学或哲学。 (a:张三; Ax:x选修语言学; Bx:x选修社会学; Dx:x选修心理学; Ex:x选修哲学) (5)你只要年过三十就能品味Proust的小说。 (Ax:x年过三十; Bx:x能品味Proust的小说) (6)无照驾驶会被罚款。 (Ax:x有驾照; Bx:x是驾驶(开车的人); Dx:x会被罚款) (7)如果有些议员或者立法委员是女性，则有些女性是民意代表。 (Ax:x是议员; Bx:x是立法委员; Dx:x是女性; Ex:x是民意代表) (8)这次选举甲党至多有两位候选人。 (Ax:x是甲党这次选举的候选人) (9)<西游记>的作者是明朝人。 (Ax:x是<西游记>的作者; Bx:x是明朝人) (10)每个选民都喜欢一些候选人。 (Ax:x是选民; Bx:x是候选人; Dxy:x喜欢y) 二.下列论证是无效的，请用释模法(model)证明，各10%。 (1) 1.(x)(Wx→Ux) 2.Wa v Wb / Ua ^ Ub (2) 1.(x)～Ax 2.(Ｅx)Bx / (Ｅx)(Ax v ～Bx) 三.下列论证是有效的，请使用推论规则证明(直接证法、条件证法、反证法不拘)，各10% (1) 1.(x)Bx v (x)(Dx→Gx) 2.～(x)(Bx v Gx) / ～(x)Dx v (x)Gx (2) 1.(Ｅx)Fz v Gy / (Ｅx)(Fx v Gy) (3) 1.(x)(Px→Qx) 2.Pb v Pa / (Ｅx)Qx =============================================================================== 考题到此结束! 祝各位考试顺利!暑期愉快! ※注 →表示条件号 (马蹄铁) v 表示选言号 ^ 表示连言号 ～表示否定号 (Ｅx)表示存在量限词 (有些x) --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 140.112.250.114 ※ 编辑: prodream824 来自: 140.112.250.114 (06/20 00:22)