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