課程名稱︰邏輯 課程性質︰夏季學院-通識 課程教師︰彭孟堯 開課學院：文學院 開課系所︰哲學系 考試日期（年月日）︰20110810 考試時限（分鐘）：兩小時 是否需發放獎勵金：是 （如未明確表示，則不予發放） 夏季學院邏輯學期考試 20110810 ○請在答案紙上註明學校、系別、學號、姓名 ○請務必遵守考試規則，嚴禁作弊；違者本門課以零分計， 並依北二區教學中心相關規定辦理。 ○本次考試共有三大題，14小題。考試時間兩小時，請把握時間，審慎作答。 題目紙不必交回。 ○本次考試為open book。 ○請將手機關機或者調至靜聲。考試期間嚴禁使用手機。如有緊急狀況， 非使用手機不可，請先告知助教。 祝各位考試順利，暑假愉快！ ============================================================================== 試題 : 一、請使用述詞邏輯（含關係述詞及等號）的語言翻譯下列各語句。（各5分） ●論域為所有存在的事物構成的集合 ●如果要翻譯「或」請一律使用「弱或」。 ●請留意確定描述詞。 (1)這次總統選舉的候選人有男性也有女性。 (Ax:x是這次總統選舉的候選人；Bx:x是男性；Dx:x是女性) (2)《史記》的作者或者是司馬遷或者是司馬光。 (a:司馬遷；b:司馬光；Ax:x是《史記》的作者) (3)每個未成年的男性公民無須服兵役。 (Ax:x是成年的；Bx:x是男性；Dx:x是公民；Ex:x需服兵役) (4)只有臭豆腐和榴槤味道不好。 (Ax:x是臭豆腐；Bx:x是榴槤；Dx:x是味道好的) (5)老虎不是獅子。 (Ax:x是老虎；Bx:x是獅子) (6)有些學生考上了自己不喜歡的系。 (Ax:x是學生；Bxy:x考上了y；Dx:x是(某大學的)系；Exy:x喜歡y) (7)《資治通鑑》的作者是宋朝人。 (Ax:x是《資治通鑑》的作者；Dx:x是宋朝人) (8)凡是未滿18歲的公民都沒有投票權。 (Ax:x是年滿18歲的；Bx:x是公民；Cx:x有投票權) (9)違反交通規則的市民都會被罰鍰。 (Ax:x是市民；Bx:x是交通規則；Cxy:x違反y；Dx:x會被罰鍰) (10)只有通過國家考試的大學畢業生才是公務員。 (Ax:x通過國家考試；Bx:x是大學畢業生；Cx:x是公務員) 二、請用釋模法決定下列論證是否有效 (10分) (11) 1.(x)(Dx⊃Ax) 2.(x)(-Dx⊃Bx) / (x)(-Ax⊃-Bx) 三、請使用推論規則為下列有效論證建構證明(直接證法、條件證法、反證法均可) (12) 1.(x)(Bx⊃Ax) (10分) 2.(z)-(Ez ^ -Dz) 3.(y)(Dy⊃By) / (x)(Ex⊃Ax) (13) 1.(x)(Dx⊃(Bx v Ax)) (15分) 2.(x)((Ax v Dx)⊃Ex) / (x)((Dx ^ -Bx)⊃Ex) (14) 1.-(x)(Ax v Dx) (15分) 2.(∃x)-Ax⊃(y)(By⊃Dy) / (∃x)-Bx ============================================================================== 題目到此結束 --

※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.112.245.126 ※ 編輯: EternalChaos 來自: 140.112.245.126 (08/10 15:27) ※ 編輯: EternalChaos 來自: 140.112.245.126 (08/10 15:32) ※ 編輯: EternalChaos 來自: 140.112.245.126 (08/10 15:33)