課程名稱︰邏輯
課程性質︰通識
課程教師︰彭孟堯
開課學院：
開課系所︰
考試日期（年月日）︰ 2012/1/10
考試時限（分鐘）：110 mins
是否需發放獎勵金：是
（如未明確表示，則不予發放）
試題 :
一 請使用述詞邏輯的符號翻譯下列語句(各4分)
(如需使用"或"翻譯 一律使用"弱或")
1.瑞典(現任)國王[單數]有博士學位
(Ax:x是瑞典(現任國王) Bx:x有博士學位)
2.有些學生背過所有科學定律
(Ax:x是學生 Bx:x是科學定律 Dxy:x背過y)
3.修過微積分或者統計學的學生都修過邏輯和哲學導論
(Ax:x是學生 Bx:x修過微積分 Dx:x修過統計學 Ex:x修過邏輯 Gx:x修過哲學導論)
4.所有學生只有在準備考試時，才熬夜
(Ax:x是學生 Bx:x在準備考試 Dx:x熬夜)
5.老王最喜歡的水果只有蘋果和葡萄而已
(a:老王 Axy:x是y最喜歡的水果 Bx:x是蘋果 Dx:x是葡萄)
6.爬蟲類動物都不會爬樹
(Ax:x是爬蟲類動物 Bx:x會爬樹)
7.所有文學作品或者貴但沒有內容，或者有內容又不貴
(Ax:x是文學作品 Bx:x是貴的 Dx:x是有內容的)
8.老王沒有選修政治學也沒有選修經濟學，但是他有選修企業管理以及圖書館學
(a:老王 Ax:x有選修政治學 Bx:x有選修經濟學 Dx:x有選修企業管理
Ex:x有選修圖書館學)
9.無照駕駛會被罰款
(Ax:x有駕照 Bx:x是駕駛(開車的人) Dx:x會被罰款)
10.《史記》的作者[單數]是漢朝人
(a:《史記》 Axy:x是y的作者 Bx:x是漢朝人)
11.所有參加選舉的都是我國國民
(Ax:x是參加選舉的人 Bx:x是我國國民)
12.你只要年過五十就讀得懂《孟子》
(Ax:x年過五十 Bx:x讀得懂《孟子》
13.有些大學生選修邏輯，有些大學生選修哲學導論
(Ax:x是大學生 Bx:x選修邏輯 Dx:x選修哲學導論)
14.老王愛上了不愛他的某個[獨一無二]的女子
(a:老王 Axy:x愛y Fx:x是女子)
15.沒有汽車駕照的應徵者不(被)錄取
(Ax:x是應徵者 Bx:x有汽車駕照 Dx:x(被)錄取)
16.老王只愛僅僅一個女人
(a:老王 Axy:x愛y Bx:x是女人)
二 下列論證是無效的 請用釋模法證明 (6分)
17. (x)(Ey)Axy / (Ey)(x)Ayx
三 下列論證是有效的 請使用推論規則證明(直接證法 反證法 條件證法 不拘) (10分*3)
18. 1.(Ex)Ax v (Ex)Bx
2.(x)(Ax→Bx) / (Ex)Bx
19. 1.(Ex)Ax→(Ey)By / (Ey)(x)(Ax→By)
20. 1.(x)(Bx→~Ax)
2.Ba v Bb / (Ex)~Ax
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.218.141
※ 編輯: rasimul 來自: 140.112.218.141 (01/10 19:19)