课程名称︰基本逻辑上 课程性质︰哲学系必修 课程教师︰彭孟尧 开课学院：文学院 开课系所︰哲学系 考试日期（年月日）︰2011/11/03 考试时限（分钟）：120 分钟 是否需发放奖励金：是 谢谢! （如未明确表示，则不予发放） 试题 : ＊本次考试为 open book 一、请将下列语句或论证改用命题逻辑的符号系统表示（各８分） (1)如果张三不参加网球社或者羽球社，则他参加篮球社以及游泳社。 （Ａ：张三参加网球社：Ｂ：张三参加羽球社； 　Ｄ：张三参加篮球社；Ｅ：张三参加游泳社） (2)尽管张三又爱吃鲜虾又爱吃螃蟹，他不爱吃龙虾也不爱吃鱿鱼。 （Ａ：张三爱吃鲜虾；Ｂ张三爱吃螃蟹；Ｄ：张三爱吃龙虾；Ｅ：张三爱吃鱿鱼） (3)最近地球气候异常，各地天灾不断。 （Ａ：最近地球气候异常；Ｂ：各地天灾不断） (4)除非张三逻辑不及格，否则他有考期中考试和学期考试。 （Ａ：张三逻辑及格；Ｂ：张三有考期中考试；Ｄ：张三有考学期考试） (5)张三只有担任经理才有配车。 （Ａ：张三担任经理；Ｂ：张三有配车） (6)张三选修初阶逻辑或微积分。张三如果不选修哲学导论以及机率， 　 则他不选修初阶逻辑。张三选修机率。所以，张三不选修微积分。 （Ａ：张三选修初阶逻辑；Ｂ：张三选修微积分； 　Ｄ：张三选修哲学导论；Ｅ：张三选修机率） 二、下列论证是否有效？（真值表、间接真值表法、树枝法不拘。） (7) (Av~B)v(~A→D) (D^E)三(~EvA) / (Bv~D)→~A (8) (Av~D)→(DvB) ~(BvA) / ~(D^A) 三、请使用推论规则证明下列有效论证(直接证法、条件证法、反证法不拘) (9) 1. ~Dv~A 2. ~Bv~E 3. (EvH)^(EvD) / ~Av~B (10) 1.D→(B→~A) 2.~D→(~B^~A) / ~Bv~A --

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