课程名称︰逻辑 课程性质︰A4通识 课程教师︰彭孟尧 开课学院： 开课系所︰ 考试日期（年月日）︰11/01/2011 考试时限（分钟）：110分钟(考完可提早交) 是否需发放奖励金：是 （如未明确表示，则不予发放） 试题 : 一、请将下列语句或论证改用命题逻辑符号系统表示(各8分) 1.张三要嘛参加网球社和羽球社，要嘛参加篮球社。 (A:张三参加网球社 B:张三参加羽球社 D:张三参加篮球社) 2.最近土耳其发生大地震，泰国曼谷发生大水灾。 (A:最近土耳其发生大地震 B:泰国曼谷发生大水灾) 3.除非张三来考期中考试和学期考试，否则他逻辑不及格。 (A:张三来考期中考试 B:张三来考学期考试 D:张三逻辑及格) 4.今年国文考试题目的题型有是非题以及填空题，不过如果这两种题型都没有 ，就有申论题。 (A:今年国文考试题目的题型有是非题 B:今年国文考试题目的题型有填空题 D:今年国文考试题目的题型有申论题) 5.学生只有选修初阶逻辑，才能选修数理逻辑。 (A:学生选修初阶逻辑 B:学生选修数理逻辑) 6.张三要是选修初阶逻辑或者微积分，就会选修哲学导论以及机率。 不过，张三不选修机率。所以，张三选修微积分。 (A:张三选修初阶逻辑 B:张三选修微积分 D:张三选修哲学导论 E:' 张三选修机率) 二、下列论证是否有效？(真值表法、间接真值表法、树枝法不拘。) (各13分) 7. (A→~B)v(~A^D) (DvE)→(~E^A) / (~B^~D)→A 8. (A=~D)→(D=B) ~(B→A) / DvA 三、请使用推论规则证明下列有效论证(直接证法、条件证法、反证法不拘) (各13分) 9. 1.~(~EvB) 2.AvB 3.(A^E)→~A / ~DvB 10. 1.~A→(B^E) 2.D→~E / D→A --

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