推 michael0728n:還沒考完就出現了~ 推效率XD 11/10 18:04
推 lancer1668 :超高速... 11/10 19:51
推 jw771216 :慢五分鐘....殘念orz 11/10 23:22
課程名稱︰邏輯丙
課程性質︰通識
課程教師︰彭孟堯
開課學院：
開課系所︰哲學系
考試日期（年月日）︰2009/11/10
考試時限（分鐘）：110
是否需發放獎勵金：是
（如未明確表示，則不予發放）
試題 :
＊此次考試為open book；嚴禁抄襲。
＊請仔細閱讀題目，審慎作答。
＊請繳回答案紙即可，註明姓名、學號、系別。
＊本次考試有3大題，共9題
I. 請將下列語句或者論證以命題邏輯的符號系統表示
（請務必注意括號的使用；若是論證，請以 / 區隔前提與結論）：
(1) 蘭花、百合、薰衣草都是植物。（10分）
（A：蘭花是植物；B：百合是植物；C：薰衣草是植物）
(2) 儘管颱風已經接近了，仍然沒有下雨的跡象。除非有下雨的跡象，老王今天出門
不帶傘。所以，老王今天出門沒有帶傘。（15分）
（A：颱風已經接近了；B：有下雨的跡象；C：老王今天出門有帶傘）
(3) 老王既不在教室也不在圖書館，所以他在系辦公室，因為只有在這三個地方才能找
的到他。（15分）
（A：老王在教室；B：老王在圖書館；C：老王在系辦公室；D：在教室裡找到老王；
E：在圖書館找到老王；F：在系辦公室找到老王）
II. 請決定下列論證是有效的還是無效的（各10分）：
(4) P→(R≡Q) （限用樹枝法）
(RvS)→P / PvQ
(5) ﹁P→﹁S （方法不拘）
﹁R→Q
﹁QvS / ﹁Rv﹁P
III. 請為下列有效論證建構證明（各10分）：
(6) 1. ﹁P≡Q （直接證法、條件證法、反證法皆可）
2. Pv﹁Q
3. Rv(Q^S) / R
(7) 1. Pv(Q^R) （直接證法、條件證法、反證法皆可）
/ (﹁Q→P)^((PvR)vS)
(8) 1. PvQ （限用反證法）
2. ﹁(﹁Sv﹁Q)
3. (P^S)→﹁P / ﹁RvQ
(9) 1. (P^﹁Q)→(RvR) （限用條件證法）
2. (S^P)→﹁Q / (S^P)→R
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.248.143
※ 編輯: syuusyou 來自: 140.112.248.143 (11/10 14:57)