推 WaitingKid :推一個! 原PO應該很高分XD 01/15 22:46
課程名稱︰基本邏輯
課程性質︰必修
課程教師︰彭孟堯
開課學院：文學院
開課系所︰哲學系
考試日期（年月日）︰101/01/12
考試時限（分鐘）：120 min
是否需發放獎勵金：是
（如未明確表示，則不予發放）
試題 :
一、請使用述詞邏輯的符號翻譯下列語句（各4分）：
（如果需要使用「或」來翻譯，請一律使用「弱或」。）
（1）凡是沒有選修邏輯也沒有選修西洋哲學史的學生，沒有選修中國哲學史以及倫理學
（a:邏輯；b:西洋哲學史；c:中國哲學史；d:倫理學；Sx:x是學生；Axy:x有選修y）
（2）至多有兩本書是司馬遷寫的。
（a:司馬遷；Ax:x是書；Bxy:x寫y）
（3）會開車的學生都會騎單車或者騎機車。
（Ax:x是學生；Bx:x會開車；Dx:x會騎單車；Ex:x會騎機車）
（4）所有大學生都住宿舍。
（Ax:x是大學生；Bx:x住宿舍）
（5）老王最喜歡的書不是《西遊記》就是《三國演義》。
（a:老王；b:《西遊記》；c:《三國演義》；Axy:x是y最喜歡的書）
（6）狗不會爬樹；貓不會游泳。
（Ax:x是狗；Bx:x是貓；Dx:x會爬樹；Ex:x會游泳）
（7）有些大學生搭捷運上學，有些大學生騎機車上學。
（Ax:x是大學生；Bx:x搭捷運上學；Dx:x騎機車上學）
（8）所有詩詞或者是唐朝的作品，或者是宋朝的作品。
（Ax:x是詩詞；Bx:x是唐朝的作品；Dx:x是宋朝的作品）
（9）考試作弊的學生會被退學。
（Ax:x是學生；Bx:x考試做弊；Dx:x會被退學）
（10）《西遊記》的作者【單數】是明朝人。
（a:《西遊記》；Axy:x是y的作者；Bx:x是明朝人）
（11）未滿四十五歲的國民沒有被選舉權。
（Ax:x滿四十五歲；Bx:x是國民；Dx:x有被選舉權）
（12）有些老師教過所有大四學生。
（Ax:x是老師；Bxy:x教過y；Dx:x是大四學生）
（13）你只要讀研究所就會做研究。
（Ax:x讀研究所；Bx:x會做研究）
（14）老王不愛那位僅僅愛他的女子。
（a:老王；Axy:x愛y；Fx:x是女子）
（15）沒有準時報到的參賽者失去比賽資格。
（Ax:x是參賽者；Bx:x有準時報到；Dx:x有比賽資格）
（16）歷任的台大校長都有博士學位。
（Ax:x是台大校長；Bx:x有博士學位）
二、下列論證是無效的，請用釋模法證明（6分）：
（17）1.(x)(Ax→(Bx^Dx))
2.(Ex)Bx^(Ex)Dx / (Ex)Ax
三、下列論證是有效的，請使用推論規則證明（直接證法、反證法、條件證法不拘）
（各10分）：
（18）1.(x)((AxvBx)→Dx)
2.Bbv~Aa
3.(Ey)Ay / (Ex)(Dx^Ax)
（19）1.(x)(Bx→Ax)
2.~(x)Bxv(x)Dx
3.~(x)Ax / (Ex)~Bx
（20）1.(x)(Bx→Ax)
2.(Ex)Bxv(Ex)Ax / (Ex)Ax
==============================================================================
考試題目到此結束！
祝各位 寒假快樂！
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 114.32.137.102