課程名稱︰基本邏輯
課程性質︰哲學系必修
課程教師︰彭孟堯
開課學院：文學院
開課系所︰哲學系
考試日期（年月日）︰2012/10/18
考試時限（分鐘）：120分鐘
是否需發放獎勵金：是
（如未明確表示，則不予發放）
試題 :
*本次考試為open book，嚴禁抄襲舞弊
*與「或」有關的翻譯，請一律以「弱或」來理解
一、請用命題邏輯的符號翻譯下列語句（各4分）：
(1) 除非形上學或知識論是必修的，否則哲學史是必修的。
（A:形上學是必修的；B:知識論是必修的；D:哲學史是必修的）
(2) 只有邏輯是必修的，哲學史才是必修的。
(A:邏輯是必修的；B:哲學史是必修的)
(3) 老王如果沒有選修邏輯，他就不會選修哲學史。
(A:老王選修邏輯；B:老王選修哲學史)
(4) 老王現在在家，否則張三不會打電話來。
(A:老王現在在家；B:張三打電話來)
(5) 如果科莫多龍不是冷血動物，那麼它們不像大蜥蜴，而像鳥。
(A:科莫多龍是冷血動物；B:科莫多龍像大蜥蜴；D:科莫多龍像鳥)
(6) 老王只有打工，才會賺到外快。
(A:老王打工；B:老王賺到外快)
(7) 如果甲是工程師或建築師，則乙不是醫師就是律師。
(A:甲是工程師；B:甲是建築師；D:乙是醫師；E:乙是律師)
(8) 邏輯課不是老王教就是老張教。
(A:邏輯課是老王教的；B:邏輯課是老張教的)
(9) 如果你沒有錯失你的約會，而老闆還是不高興，那麼要嘛是你沒有作成生意，要嘛
是我的錯。
(A:你錯失你的約會；B:老闆高興；D:你作成生意；E:這是我的錯)
(10)這學期的期中考試不是考選擇題就是考申論題，若兩種題型都不考，就會考證明題。
(A:這學期的期中考試是考選擇題；B:這學期的期中考試是考申論題；
D:這學期的期中考試是考證明題)
二、請判定下列論證是有效還是無效的（真值表、間接真值表法、樹枝法不拘）
(各十分)
(1) A->B
E->D
(BvD)->D
D / ~(AvE)
(2) (A^B)v~D
~((E^S)-> ~A)
D三A / ~A^B
三、請使用推論規則對下列有效論證建構證明（直接證法、條件證法、反證法不拘）
（各10分）
(1) 1.~A三(B^~D)
2.B-> ~D / B三~A
(2) 1.~A->(~D->B)
2.A->D / ~B->D
(3) 1.~B->A
2.D->S
3.(SvA)-> ~E
4.E / ~(Dv~B)
(4) 1.(D^E)->B
2.(E->B)->A
3.~(Sv~D) / A^~S
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 114.32.105.248