推 demon1375 : 已收錄精華區 12/29 18:13
課程名稱︰邏輯 (通識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://www.ptt.cc/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