课程名称︰逻辑 课程性质︰通识 A4 课程教师︰彭孟尧 开课学院： 开课系所︰ 考试日期（年月日）︰2012/10/30 考试时限（分钟）：110分钟 是否需发放奖励金：是 （如未明确表示，则不予发放） 试题 : General Education Logic Mid-Term Exam. 10/30/2012 This test is open book. This test is from 13:20pm to 15:10pm Please hand in the answer sheet only. Please write down your name and school ID number If the translation questions have to do with "or", please use "weak or" to do the translation. 1.Please use Propositional Logic symbolism to translation the following sentences (4 points each): (1) Einstein is not only smart but also famous. (A:Einstein is smart; B:Einstein is famous) (2) If the extinction of the dinosaurs was not caused by a meteor, it was the spread of disease that did it. (A:the extinction of the dinosaurs was caused by a meteor; B:the extinction of the dinosaurs was caused by the spread of of disease) (3) John willnot lose the election only if he is the best candidate and outspends his opponent on advertising. (A:John will lose the election; B:John is the best candidate; D:John outspends his opponent on advertising) (4) Both John and Mary will not win the prize if not both John and Mary are interested in taking the contest. (A:John will win the prize; B:Mary will win the prize; D:John is interested in taking the contest; E: Mary is interested in taking the contest.) (5) It is not the case that everyone likes movies, but it is the case that everyone likes TV. (A:Everyone like movies; B:Everyone likes TV) (6) Neither John nor Mary is interested in Logic. (A:John is interested in Logic; B:Mary is interested in Logic) (7) John takes Logic only if Mary takes Statistics. (A:John takes Logic; B:Mary takes Statistics) (8) John takes Logic but Mary takes Statistics. (A:John takes Logic; B:Mary takes Statistics) (9) John will take Logic unless Mary will take Statistics. (A:John will take Logic; B:Mary will take Statistics) (10) John will take Logic just in case Mary will take Statistics. (A:John will take Logic; B:Mary will take Statistics) 2.Please us Truth Table,Indirect Truth Table, or Truth Tree to determine whether the following arguments are valid (10 points each): (11) (Fv~G)->(F≡G) F->(G≡~K) / (~F^~G)vK (12) A->~(E^B) (~D->B)^~(A->D) / ~(AvE) 3.Please us inference rules by the method of direct proof, conditional proof, or indirect proof to prove the following valid arguments (10 points each): (13) 1.E->(LvF) 2.K->E 3.K->(E->~L) / K->F (14) 1.~P≡Q 2.Pv~Q 3.Rv(Q^S) / R (15) 1.~S->S 2.(Sv~F)->G / S^G (16) 1.~A->(B^E) 2.D->~E / D->A --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 140.112.25.107 ※ 编辑: pttbarca 来自: 140.112.25.107 (10/31 19:29) ※ 编辑: pttbarca 来自: 140.112.25.107 (10/31 19:30) ※ 编辑: pttbarca 来自: 111.248.176.246 (11/01 01:26)