作者angesina111 (Jung)
看板NTU-Exam
标题[试题] 99下 彭孟尧 通识逻辑 期中考
时间Tue Apr 19 15:28:51 2011
课程名称︰逻辑
课程性质︰通识
课程教师︰彭孟尧
开课学院：文学院
开课系所︰哲学系
考试日期（年月日）︰100.4.19
考试时限（分钟）：两小时
是否需发放奖励金：是
（如未明确表示，则不予发放）
试题 :
一.请使用命题逻辑的语言翻译下列推论. 请以"/"分隔前提与结论.各10分
(1)如果代数或者微积分是必修的,则统计和几何都是选修的.代数和逻辑都是必修的
所以,统计是选修的.
(A:代数是必修的 B:微积分是必修的 C:统计是选修的 D:几何是选修的 E:逻辑是必修的)
(2)台北市要嘛交通混乱,要嘛空气品质差.如果台北市的空气品质不差,台北市民健康有保
障.如果台北市交通不混乱,台北市民出入有保障.所以,台北市居民要嘛健康没有保障,
要嘛出入没有保障
(A:台北市交通混乱 B:台北市的空气品质差 C:台北市民健康有保
障 D: 台北市民出入有保障)
(3)要是张三没有买房子,他买车子. 张三如果又买车子又买房子,他不买股票也不买珠宝
张三或者没买房子或者没买股票. 所以,张三或者买珠宝或者买车子
(A:张三买房子 B:张三买车子 C:张三买股票 D:张三买珠宝 )
(4)台大只有加强研究才能跻身世界一流大学. 台大要是既没有加强研究也没有加强教学
,台大不仅名声低落,也争取不到资源. 台大加强研究,所以台大争取到资源
(A:台大加强研究 B:台大跻身世界一流大学 C:台大加强教学 D:台大名声低落
E:台大争取到资源 )
二.请使用间接真质表法或者树枝法决定下列论证是否有效(各10分)
(5).A V ~(B⊃ D)
D ^ ~(F^E)
/~A ⊃ (B V F)
(6)A V (B^D)
(A⊃ E )^(~E ⊃ D )
/D^A
三.请使用推论规则为下列有效论证建构证明(直接证法.条件正法,反证法任择其一)
各10分 (DN, Comm,Assoc这三条规则可省略)
(7)1.A⊃~B
2.D⊃~B
/(A V D)⊃~B
(8.)1.(~A⊃~B)^(D⊃K)
2.(~B V K)⊃~E
3.E
/ ~(~A V D)
(9) 1.~(A⊃D)⊃(D^A)
2.(~B^~E)⊃~(D 三 A )
3.A ^ ~B
/ ~B V E
(10)1.A⊃~B
2.D⊃B
3.~E v D
4.~A⊃ ~G
5.~G⊃~D
/ ~E
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.4.195
1F：推 eric01091989:第九题我猜是老师出题的时候打错了XDDDDDDDDDDDDDDD 04/19 17:02
2F：推 DahilSaIyo :大推第9题!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! 04/19 18:31
3F：推 aa011854 :出现好多框框@@ 04/19 18:45
4F：→ angesina111 :IP法:~(~B V E )=B^~E, 然後和3得出~B^B矛盾的结论 04/19 18:53
5F：→ angesina111 :不确定这样算对不对... 04/19 18:54
6F：推 Blossom2 :第九题怎麽算都会对啊XD 04/19 20:18
7F：→ Blossom2 :4. ~B(3.Simp) 5~BvE (4.Add) 就得证了XD 04/19 20:19
8F：推 csshangh :我就是写楼上那样欸不知道他会不会算对囧 04/19 21:00
9F：推 aron77 :我第九题觉得有诈想超久XDD 04/23 02:45
10F：推 bigmike6322 :用反证法步骤省略超多写超快的可是感觉有点不踏实耶 04/25 16:20