课程名称︰逻辑 课程性质︰夏季学院-通识 课程教师︰彭孟尧 开课学院：文学院 开课系所︰哲学系 考试日期（年月日）︰20110810 考试时限（分钟）：两小时 是否需发放奖励金：是 （如未明确表示，则不予发放） 夏季学院逻辑学期考试 20110810 ○请在答案纸上注明学校、系别、学号、姓名 ○请务必遵守考试规则，严禁作弊；违者本门课以零分计， 并依北二区教学中心相关规定办理。 ○本次考试共有三大题，14小题。考试时间两小时，请把握时间，审慎作答。 题目纸不必交回。 ○本次考试为open book。 ○请将手机关机或者调至静声。考试期间严禁使用手机。如有紧急状况， 非使用手机不可，请先告知助教。 祝各位考试顺利，暑假愉快！ ============================================================================== 试题 : 一、请使用述词逻辑（含关系述词及等号）的语言翻译下列各语句。（各5分） ●论域为所有存在的事物构成的集合 ●如果要翻译「或」请一律使用「弱或」。 ●请留意确定描述词。 (1)这次总统选举的候选人有男性也有女性。 (Ax:x是这次总统选举的候选人；Bx:x是男性；Dx:x是女性) (2)《史记》的作者或者是司马迁或者是司马光。 (a:司马迁；b:司马光；Ax:x是《史记》的作者) (3)每个未成年的男性公民无须服兵役。 (Ax:x是成年的；Bx:x是男性；Dx:x是公民；Ex:x需服兵役) (4)只有臭豆腐和榴槤味道不好。 (Ax:x是臭豆腐；Bx:x是榴槤；Dx:x是味道好的) (5)老虎不是狮子。 (Ax:x是老虎；Bx:x是狮子) (6)有些学生考上了自己不喜欢的系。 (Ax:x是学生；Bxy:x考上了y；Dx:x是(某大学的)系；Exy:x喜欢y) (7)《资治通监》的作者是宋朝人。 (Ax:x是《资治通监》的作者；Dx:x是宋朝人) (8)凡是未满18岁的公民都没有投票权。 (Ax:x是年满18岁的；Bx:x是公民；Cx:x有投票权) (9)违反交通规则的市民都会被罚锾。 (Ax:x是市民；Bx:x是交通规则；Cxy:x违反y；Dx:x会被罚锾) (10)只有通过国家考试的大学毕业生才是公务员。 (Ax:x通过国家考试；Bx:x是大学毕业生；Cx:x是公务员) 二、请用释模法决定下列论证是否有效 (10分) (11) 1.(x)(Dx⊃Ax) 2.(x)(-Dx⊃Bx) / (x)(-Ax⊃-Bx) 三、请使用推论规则为下列有效论证建构证明(直接证法、条件证法、反证法均可) (12) 1.(x)(Bx⊃Ax) (10分) 2.(z)-(Ez ^ -Dz) 3.(y)(Dy⊃By) / (x)(Ex⊃Ax) (13) 1.(x)(Dx⊃(Bx v Ax)) (15分) 2.(x)((Ax v Dx)⊃Ex) / (x)((Dx ^ -Bx)⊃Ex) (14) 1.-(x)(Ax v Dx) (15分) 2.(∃x)-Ax⊃(y)(By⊃Dy) / (∃x)-Bx ============================================================================== 题目到此结束 --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 140.112.245.126 ※ 编辑: EternalChaos 来自: 140.112.245.126 (08/10 15:27) ※ 编辑: EternalChaos 来自: 140.112.245.126 (08/10 15:32) ※ 编辑: EternalChaos 来自: 140.112.245.126 (08/10 15:33)