课程名称：逻辑 课程性质：必修 课程范围：语句逻辑、真值树、真值表 开课教师：刘若韶教授 开课学院：文学院　哲学系 开课系级：哲学一 考试日期(年月日)：2011/4/21 考试时限(Mins)：180 试题本文： (由於在这里老师用的"then"符号打不出来，故以→代替) 请用真值表检查下列论证是否有效：（每题6分） 1. ~C→(A→C) ~C /∴~A 2. M→(O≡N) M v N /∴O 3. A→B C→D /∴(A v C) →(B v D) 请用语句逻辑的推论规则，证明下列论证有效： （若以论证文字表达，请先翻译为逻辑式） （第4-11题每题6分，第12-13题每题10分） 4. A v B→C /∴A→C 5. (A v B)→(C‧D) (D v E)→F /∴A→F 6. A→(B→C) /∴(~C‧D) →(B→~A) 7. ~A→B ~(~A‧B) /∴A 8. A→(~B→C) ~B ~C /∴~A 9. (K≡~L) →A A→~K ~~K‧L /∴~(K≡~L)‧~A 10. ~N v M ~M (N v M)‧(~N→M) /∴A≡B (本题绝对没打错，请不要怀疑) 11. (P‧~Q) →R ~Q→(S‧P) /∴~Q→R 12.如果政府发行消费券或降低税率， 则出口和内销都会增加。 　 但是，如果出口增加， 内销就不增加。 因此，政府没有发行消费券。 13.如果赵温仁必须与他的太太离婚才能继承这笔遗产， 则他将考虑办理离婚手续。 他若住在台中， 则不能继承这笔遗产， 他的太太坚持要住在台中。 他若不住在台中， 则只要他的太太坚持要住在台中， 他将会与她离婚。 因此，赵温仁将考虑办理离婚手续。 请用语句逻辑的真值树方法，检查以下论证是否有效：（每题6分） 14. S≡Q ~S /∴~Q 15. P→(Q→R) /∴(~R‧S) →(Q→~T) 16. P v (~Q‧R) Q→~P /∴~Q --

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