課程名稱︰邏輯
課程性質︰通識
課程教師︰彭孟堯
開課學院：文學院
開課系所︰哲學系
考試日期（年月日）︰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)