作者benny9072004 (Wombat)
看板NTU-Exam
标题[试题] 104上 彭孟尧 逻辑 第二次期中考
时间Tue Dec 15 14:33:05 2015
课程名称︰逻辑 (通识A4)
课程性质︰通识A4
课程教师︰彭孟尧
开课学院：文学院
开课系所︰哲学系
考试日期（年月日）︰104/12/15
考试时限（分钟）： PM1:20-3:10 (110分钟)
试题 :
＊本次考试为 open book，考试时间2小时，题目纸无须交回。
＊请关闭手机声音；考试时不得使用手机、笔电。
＊每题10分。
请使用推论规则证明下列论证 (直接证法、条件正法、或反证法皆可) ：
￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣
P.S "~" 代表否定号 NOT
(1) 1. ~A⊃(B⊃D)
2. ~E⊃(~A⊃B)
/ ~D⊃(A V E)
(2) 1. (A V B)Λ(A V D)
2. ~D V E
3. ~G V ~A / E V ~G
(3) 1. A⊃B
2. F⊃A
3. F V (BΛD) / B
(4) 1. AΛB
2. ~B / D
(5) 1. ~A⊃(B Λ D)
2. ~(EΛG)
/ (~A V G)⊃(~B⊃~E)
(6) 1. (A V B)⊃D
2. (A V D)⊃B / (DΛB) V ~A
(7) 1. B⊃(~D V A)
2. DΛA / ~B V A
(8) 1. A⊃~B
2. E⊃~D
3. ~(~AΛ~E) / ~(DΛB)
(9) 1. M⊃N
2. M⊃(N⊃O)
3. N⊃(O⊃P) / M⊃P
(10) 1. (BΛD)⊃C
2. (D⊃C)⊃E
3. ~(D V ~B) / ~DΛE
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 140.112.16.143
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/NTU-Exam/M.1450161187.A.3A1.html
※ 编辑: benny9072004 (140.112.16.143), 12/15/2015 14:47:34
※ 编辑: benny9072004 (140.112.16.143), 12/15/2015 14:54:33
1F：推 demon1375 : 已收录 12/29 18:13