課程名稱︰邏輯
課程性質︰A4通識
課程教師︰曾漢塘
開課學院：無
開課系所︰無
考試日期（年月日）︰2018/06/26
考試時限（分鐘）：110分鐘
是否需發放獎勵金：是
試題 :
一、選擇題，每題4分（註：有些為多選題）
( )1.下列哪一種定義的目的是為了要降低字詞含混的程度？a.精確化定義 b.列舉式定義
c.規範性定義 d.字典式定義
( )2.「食物擺久會變質，所以，人在某一行業久呆，自然就不再那麼敬業樂業。」這種
法 a.沒有謬誤 b.觸犯偽因的謬誤 c.觸犯錯誤類比的謬誤 d.觸犯急於推廣的謬誤
( )3.當某個詞被歧義地使用，就表示這個詞 a.在不同人的意識中擁有不同的意義理解 b
.太艱澀了，不好理解 c.不知其精確所指為何。
( )4.下列哪個詞是周延的？a.A命題的主詞 b.I命題的述詞 c.E命題的述詞 d.O命題的主
詞
( )5.在有存在假設的狀況下，當I命題為假時，則下列何者為真？a.其A命題 b.其E命題
的互換命題 c.其O命題
二、直接推論（請說明下列論證是有效論證或無效論政），每題6分
1. Some S are non-P. Therefore, it's false that no non-P are S.
2. It's false that all S are P. Therefore, some non-P are S.
三、請將下列日常生活語句翻譯為述詞邏輯語句。每題6分
1.所有大一學生都喜歡有些大二學生。(Fx: x是大一學生；Sx: x是大二學生；Lxy: x喜
歡y)
2.只有台大師生可以使用游泳池。(Ux: x可以使用游泳池；Px: x是台大老師；Sx: x是台
大學生）
3.至少有二個學生及格。(Sx: x是學生；Px: x及格)
4.並非只有二個學生及格。(Sx: x是學生；Px: x及格)（註：考慮「只有」）
四、請以范恩圖解或傳統五規則來判定下列論證是否有效？若為條件有效，請說明其假設
條件為何？每題6分
1.AII-3 2.AOO-4 3.AEO-2
五、證明下列論證有效，每題7分。
(1). 1.∀x (Ax→~Bx)
2.∃x (Cx・Bx) /∴ ~∀x (Cx→Ax)
(2). 1.∃x [Ax・∀y (By→Lxy)]
2.∀x [Ax→∀y (Dy→~Lxy)] /∴∀x (Bx→~Dx)
六、證明下一論證無效。6分。
∀x ∀y ∃z Axyz /∴∃z ∀y ∀x Axyz
七、證明下一定理。6分。
/∴∀x ∀y Fxy→∃x ∃y Fxy