[試題] 93下 林照田 邏輯丙 期末考

[monotones (trivial one)]

課程名稱︰邏輯丙
課程性質︰通識  人文領域
課程教師︰林照田  教授
開課系所︰哲學系
考試時間︰2005/06/17  15:40-17:50

試題：  邏輯 丙  (註：此次考題有三種試題卷，此為第二份
        ¯¯ ¯       其餘兩份期待好心人補充^^")

一、翻譯 (12分)

 (一) 太初有道，道與神同在，道即是神。
 (二) The present president of Japan is bald.
 (三) 我只愛蘭花。
 (四) 1.每個人都有手
        ∕∴每個小人都有小手

二、定義 ( 8分)

 1. 個體
 2. 約束 (封閉) 變項
 3. 訴諸無知之謬誤
                    ﹨s
 4. 0,1,2,...,n,...,s﹨o

三、證明或反証 (48分)

 (一) 1.ΕxFx
      2.ΑxΑy((Fx‧Fy)→x=y)
        ∕∴Εx(Fx‧Αy(Fy→ x=y))
 (二) 1.Αx(Fx→Hx)
      2.Αy(Gy→Hy)∕∴Εz(Fz‧Gz)
 (三) 1.ΑxFx→Kab ∕∴Αx(Fx→Kab)
 (四) 2 ×2 = 4
 (五) 1.Εx(Px‧Αy(Dy→Txy))
        ∕∴Αy(Dy→Εx(Px‧Txy))
 (六) 1.~ΑxHxx
      2.ΑxΑy(Hxy→Hyx)
      3.ΑxΑyΑz((Hxy‧Hyz)→Hxz)
        ∕∴ΕxΑyHxy

四、問答 (20分)

 (一) 下一論證
      1.P
      2.~P∕∴ΑxFx→ΕxFx
      可以作為自然演繹法中之推論法則嗎？為什麼？
 (二) 套套邏輯與有效句有何關係？請舉例詳加說明。

五、指出錯誤 (12分)

  1. ~Αx(Fx→ΕyKxy)    AP
  2. ~(Fx→ΕyKxy)       1,UI
  3. ~(Fx→Kxy)          2,EI
  4. Εy~(Fy→Kyy)       3,EG
  5. ~Εy(Fy→Kyy)       4,QN
  6. Αx~(Fx→Kxy)       3,UG
  7. ΑyΑx~(Fx→Kxy)    6,UG

註：Α為全稱量化號，Ε為存在量化號

--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.250.148
推 dorawu:其實只是題目的順序不一樣吧
→ dorawu:然後有一點點的小差別  但作答方式一模一樣
→ dorawu:像我那一分只是把"Japan"改成"Germany"
→ dorawu:"手"改成"頭"  "小人"改成"大人"
→ dorawu:"蘭花"改成"菊花"  其他都一模一樣