推 sidchu :有越來越快的趨勢.... 08/10 15:30
※ 編輯: EternalChaos 來自: 140.112.245.126 (08/10 15:33)
→ EternalChaos:比上次晚了10分鐘XD 08/10 15:34
推 pttmansion :這次比較難 所以比較慢嘛？XDD 08/10 16:05
課程名稱︰邏輯
課程性質︰夏季學院-通識
課程教師︰彭孟堯
開課學院：文學院
開課系所︰哲學系
考試日期（年月日）︰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)