课程名称︰基本逻辑 课程性质︰必修 课程教师︰彭孟尧 开课学院：文学院 开课系所︰哲学系 考试日期（年月日）︰101/01/12 考试时限（分钟）：120 min 是否需发放奖励金：是 （如未明确表示，则不予发放） 试题 : 一、请使用述词逻辑的符号翻译下列语句（各4分）： （如果需要使用「或」来翻译，请一律使用「弱或」。） （1）凡是没有选修逻辑也没有选修西洋哲学史的学生，没有选修中国哲学史以及伦理学 （a:逻辑；b:西洋哲学史；c:中国哲学史；d:伦理学；Sx:x是学生；Axy:x有选修y） （2）至多有两本书是司马迁写的。 （a:司马迁；Ax:x是书；Bxy:x写y） （3）会开车的学生都会骑单车或者骑机车。 （Ax:x是学生；Bx:x会开车；Dx:x会骑单车；Ex:x会骑机车） （4）所有大学生都住宿舍。 （Ax:x是大学生；Bx:x住宿舍） （5）老王最喜欢的书不是《西游记》就是《三国演义》。 （a:老王；b:《西游记》；c:《三国演义》；Axy:x是y最喜欢的书） （6）狗不会爬树；猫不会游泳。 （Ax:x是狗；Bx:x是猫；Dx:x会爬树；Ex:x会游泳） （7）有些大学生搭捷运上学，有些大学生骑机车上学。 （Ax:x是大学生；Bx:x搭捷运上学；Dx:x骑机车上学） （8）所有诗词或者是唐朝的作品，或者是宋朝的作品。 （Ax:x是诗词；Bx:x是唐朝的作品；Dx:x是宋朝的作品） （9）考试作弊的学生会被退学。 （Ax:x是学生；Bx:x考试做弊；Dx:x会被退学） （10）《西游记》的作者【单数】是明朝人。 （a:《西游记》；Axy:x是y的作者；Bx:x是明朝人） （11）未满四十五岁的国民没有被选举权。 （Ax:x满四十五岁；Bx:x是国民；Dx:x有被选举权） （12）有些老师教过所有大四学生。 （Ax:x是老师；Bxy:x教过y；Dx:x是大四学生） （13）你只要读研究所就会做研究。 （Ax:x读研究所；Bx:x会做研究） （14）老王不爱那位仅仅爱他的女子。 （a:老王；Axy:x爱y；Fx:x是女子） （15）没有准时报到的参赛者失去比赛资格。 （Ax:x是参赛者；Bx:x有准时报到；Dx:x有比赛资格） （16）历任的台大校长都有博士学位。 （Ax:x是台大校长；Bx:x有博士学位） 二、下列论证是无效的，请用释模法证明（6分）： （17）1.(x)(Ax→(Bx^Dx)) 　　　2.(Ex)Bx^(Ex)Dx　/　(Ex)Ax 三、下列论证是有效的，请使用推论规则证明（直接证法、反证法、条件证法不拘） 　　（各10分）： （18）1.(x)((AxvBx)→Dx) 　　　2.Bbv~Aa 　　　3.(Ey)Ay　/　(Ex)(Dx^Ax) （19）1.(x)(Bx→Ax) 　　　2.~(x)Bxv(x)Dx 　　　3.~(x)Ax　/　(Ex)~Bx （20）1.(x)(Bx→Ax) 　　　2.(Ex)Bxv(Ex)Ax　/　(Ex)Ax ============================================================================== 考试题目到此结束！ 祝各位　寒假快乐！ --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 114.32.137.102