課程名稱︰基本邏輯上 課程性質︰哲學系必修 課程教師︰彭孟堯 開課學院：文學院 開課系所︰哲學系 考試日期（年月日）︰2011/11/03 考試時限（分鐘）：120 分鐘 是否需發放獎勵金：是 謝謝! （如未明確表示，則不予發放） 試題 : ＊本次考試為 open book 一、請將下列語句或論證改用命題邏輯的符號系統表示（各８分） (1)如果張三不參加網球社或者羽球社，則他參加籃球社以及游泳社。 （Ａ：張三參加網球社：Ｂ：張三參加羽球社； 　Ｄ：張三參加籃球社；Ｅ：張三參加游泳社） (2)儘管張三又愛吃鮮蝦又愛吃螃蟹，他不愛吃龍蝦也不愛吃魷魚。 （Ａ：張三愛吃鮮蝦；Ｂ張三愛吃螃蟹；Ｄ：張三愛吃龍蝦；Ｅ：張三愛吃魷魚） (3)最近地球氣候異常，各地天災不斷。 （Ａ：最近地球氣候異常；Ｂ：各地天災不斷） (4)除非張三邏輯不及格，否則他有考期中考試和學期考試。 （Ａ：張三邏輯及格；Ｂ：張三有考期中考試；Ｄ：張三有考學期考試） (5)張三只有擔任經理才有配車。 （Ａ：張三擔任經理；Ｂ：張三有配車） (6)張三選修初階邏輯或微積分。張三如果不選修哲學導論以及機率， 　 則他不選修初階邏輯。張三選修機率。所以，張三不選修微積分。 （Ａ：張三選修初階邏輯；Ｂ：張三選修微積分； 　Ｄ：張三選修哲學導論；Ｅ：張三選修機率） 二、下列論證是否有效？（真值表、間接真值表法、樹枝法不拘。） (7) (Av~B)v(~A→D) (D^E)三(~EvA) / (Bv~D)→~A (8) (Av~D)→(DvB) ~(BvA) / ~(D^A) 三、請使用推論規則證明下列有效論證(直接證法、條件證法、反證法不拘) (9) 1. ~Dv~A 2. ~Bv~E 3. (EvH)^(EvD) / ~Av~B (10) 1.D→(B→~A) 2.~D→(~B^~A) / ~Bv~A --

※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.112.196.24