課程名稱︰邏輯 課程性質︰A4通識 課程教師︰彭孟堯 開課學院： 開課系所︰ 考試日期（年月日）︰11/01/2011 考試時限（分鐘）：110分鐘(考完可提早交) 是否需發放獎勵金：是 （如未明確表示，則不予發放） 試題 : 一、請將下列語句或論證改用命題邏輯符號系統表示(各8分) 1.張三要嘛參加網球社和羽球社，要嘛參加籃球社。 (A:張三參加網球社 B:張三參加羽球社 D:張三參加籃球社) 2.最近土耳其發生大地震，泰國曼谷發生大水災。 (A:最近土耳其發生大地震 B:泰國曼谷發生大水災) 3.除非張三來考期中考試和學期考試，否則他邏輯不及格。 (A:張三來考期中考試 B:張三來考學期考試 D:張三邏輯及格) 4.今年國文考試題目的題型有是非題以及填空題，不過如果這兩種題型都沒有 ，就有申論題。 (A:今年國文考試題目的題型有是非題 B:今年國文考試題目的題型有填空題 D:今年國文考試題目的題型有申論題) 5.學生只有選修初階邏輯，才能選修數理邏輯。 (A:學生選修初階邏輯 B:學生選修數理邏輯) 6.張三要是選修初階邏輯或者微積分，就會選修哲學導論以及機率。 不過，張三不選修機率。所以，張三選修微積分。 (A:張三選修初階邏輯 B:張三選修微積分 D:張三選修哲學導論 E:' 張三選修機率) 二、下列論證是否有效？(真值表法、間接真值表法、樹枝法不拘。) (各13分) 7. (A→~B)v(~A^D) (DvE)→(~E^A) / (~B^~D)→A 8. (A=~D)→(D=B) ~(B→A) / DvA 三、請使用推論規則證明下列有效論證(直接證法、條件證法、反證法不拘) (各13分) 9. 1.~(~EvB) 2.AvB 3.(A^E)→~A / ~DvB 10. 1.~A→(B^E) 2.D→~E / D→A --

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