課程名稱︰邏輯 課程性質︰通識 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)