作者swwf0909 (snowwolf.whitefox)
看板NCCU_Exam
标题[试题] 992 刘若韶教授 逻辑 期中考
时间Thu Apr 21 12:49:19 2011
课程名称:逻辑
课程性质:必修
课程范围:语句逻辑、真值树、真值表
开课教师:刘若韶教授
开课学院:文学院 哲学系
开课系级:哲学一
考试日期(年月日):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
1F:推 meteor9:满分104分喔 04/23 15:39