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