课程名称︰逻辑 课程性质︰通识 课程教师︰彭孟尧 开课学院： 开课系所︰ 考试日期（年月日）︰ 2012/1/10 考试时限（分钟）：110 mins 是否需发放奖励金：是 （如未明确表示，则不予发放） 试题 : 一 请使用述词逻辑的符号翻译下列语句(各4分) (如需使用"或"翻译 一律使用"弱或") 1.瑞典(现任)国王[单数]有博士学位 (Ax:x是瑞典(现任国王) Bx:x有博士学位) 2.有些学生背过所有科学定律 (Ax:x是学生 Bx:x是科学定律 Dxy:x背过y) 3.修过微积分或者统计学的学生都修过逻辑和哲学导论 (Ax:x是学生 Bx:x修过微积分 Dx:x修过统计学 Ex:x修过逻辑 Gx:x修过哲学导论) 4.所有学生只有在准备考试时，才熬夜 (Ax:x是学生 Bx:x在准备考试 Dx:x熬夜) 5.老王最喜欢的水果只有苹果和葡萄而已 (a:老王 Axy:x是y最喜欢的水果 Bx:x是苹果 Dx:x是葡萄) 6.爬虫类动物都不会爬树 (Ax:x是爬虫类动物 Bx:x会爬树) 7.所有文学作品或者贵但没有内容，或者有内容又不贵 (Ax:x是文学作品 Bx:x是贵的 Dx:x是有内容的) 8.老王没有选修政治学也没有选修经济学，但是他有选修企业管理以及图书馆学 (a:老王 Ax:x有选修政治学 Bx:x有选修经济学 Dx:x有选修企业管理 Ex:x有选修图书馆学) 9.无照驾驶会被罚款 (Ax:x有驾照 Bx:x是驾驶(开车的人) Dx:x会被罚款) 10.《史记》的作者[单数]是汉朝人 (a:《史记》 Axy:x是y的作者 Bx:x是汉朝人) 11.所有参加选举的都是我国国民 (Ax:x是参加选举的人 Bx:x是我国国民) 12.你只要年过五十就读得懂《孟子》 (Ax:x年过五十 Bx:x读得懂《孟子》 13.有些大学生选修逻辑，有些大学生选修哲学导论 (Ax:x是大学生 Bx:x选修逻辑 Dx:x选修哲学导论) 14.老王爱上了不爱他的某个[独一无二]的女子 (a:老王 Axy:x爱y Fx:x是女子) 15.没有汽车驾照的应徵者不(被)录取 (Ax:x是应徵者 Bx:x有汽车驾照 Dx:x(被)录取) 16.老王只爱仅仅一个女人 (a:老王 Axy:x爱y Bx:x是女人) 二 下列论证是无效的 请用释模法证明 (6分) 17. (x)(Ey)Axy / (Ey)(x)Ayx 三 下列论证是有效的 请使用推论规则证明(直接证法 反证法 条件证法 不拘) (10分*3) 18. 1.(Ex)Ax v (Ex)Bx 2.(x)(Ax→Bx) / (Ex)Bx 19. 1.(Ex)Ax→(Ey)By / (Ey)(x)(Ax→By) 20. 1.(x)(Bx→~Ax) 2.Ba v Bb / (Ex)~Ax --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 140.112.218.141 ※ 编辑: rasimul 来自: 140.112.218.141 (01/10 19:19)