課程名稱︰基本邏輯 課程性質︰哲學系必修 課程教師︰彭孟堯 開課學院：文學院 開課系所︰哲學系 考試日期（年月日）︰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