課程名稱︰邏輯 課程性質︰通識 課程教師︰彭孟堯 開課學院：文學院 開課系所︰哲學系 考試日期（年月日）︰2012/6/19 考試時限（分鐘）：120 是否需發放獎勵金：是 *本次考試為open book *考試時間2小時，題目紙無須交回 *本次考試有三大題。請仔細閱讀題目，謹慎作答。 *請關閉手機聲音，以免影響他人；考試時不得使用手機，如有特殊狀況，必須使用手機， 請告訴助教。 試題 : 一.請將下列語句或論證改用述詞邏輯的符號系統表示 (各5分) (1)美國(現任)總統已婚。 (Ax:x是美國(現任)總統; Bx:x已婚) (2)所以學生只有在準備考試時，才熬夜。 (Ax:x是學生; Bx:x在準備考試; Dx:x熬夜) (3)此次學生會會長選舉，得票最高的那一位候選人是女性。 (Ax:x是此次學生會會長候選人； Bxy:x得票高於y; Dx:x是女性) (4)張三沒有選修語言學和社會學，但是他選修心理學或哲學。 (a:張三; Ax:x選修語言學; Bx:x選修社會學; Dx:x選修心理學; Ex:x選修哲學) (5)你只要年過三十就能品味Proust的小說。 (Ax:x年過三十; Bx:x能品味Proust的小說) (6)無照駕駛會被罰款。 (Ax:x有駕照; Bx:x是駕駛(開車的人); Dx:x會被罰款) (7)如果有些議員或者立法委員是女性，則有些女性是民意代表。 (Ax:x是議員; Bx:x是立法委員; Dx:x是女性; Ex:x是民意代表) (8)這次選舉甲黨至多有兩位候選人。 (Ax:x是甲黨這次選舉的候選人) (9)<西遊記>的作者是明朝人。 (Ax:x是<西遊記>的作者; Bx:x是明朝人) (10)每個選民都喜歡一些候選人。 (Ax:x是選民; Bx:x是候選人; Dxy:x喜歡y) 二.下列論證是無效的，請用釋模法(model)證明，各10%。 (1) 1.(x)(Wx→Ux) 2.Wa v Wb / Ua ^ Ub (2) 1.(x)～Ax 2.(Ｅx)Bx / (Ｅx)(Ax v ～Bx) 三.下列論證是有效的，請使用推論規則證明(直接證法、條件證法、反證法不拘)，各10% (1) 1.(x)Bx v (x)(Dx→Gx) 2.～(x)(Bx v Gx) / ～(x)Dx v (x)Gx (2) 1.(Ｅx)Fz v Gy / (Ｅx)(Fx v Gy) (3) 1.(x)(Px→Qx) 2.Pb v Pa / (Ｅx)Qx =============================================================================== 考題到此結束! 祝各位考試順利!暑期愉快! ※註 →表示條件號 (馬蹄鐵) v 表示選言號 ^ 表示連言號 ～表示否定號 (Ｅx)表示存在量限詞 (有些x) --

※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.112.250.114 ※ 編輯: prodream824 來自: 140.112.250.114 (06/20 00:22)