课程名称︰逻辑 (通识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