課程名稱︰邏輯
課程性質︰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