92學年上學期 邏輯丙期中考

ㄧ、定義
1.      論證
2.      有效的論證
3.      妥當的論證
二、分類
        1. p> ~p
        2. (p．~p)> q
        3. (p> q)．(p> ~q)
三、舉例
        1. 前提、結論都為真的無效語句。
        2. 前提中有真有假，而結論為真的有效語句。
四、證明（真值表法）
        （一）1. p> q
              2. ~p> ~q  /∴p≡q
        （二）1. p> q
              2. ~p> q  /∴p>(q>p)
        （三）1. p> (qˇr)  /∴(p> q)ˇr
五、證明（自然演繹法）
        （一）1. p> q
              2. p>~q  /∴p>(r>~s)
        （二）1. H>(A>B)
              2. ~C>(HˇB)
              3. H>A       /∴CˇB
        （三）1. (AˇB) (C．D)
              2. C>(H．K)
              3. H >(~AˇM)    /∴A>C
六、選言定式定理
    F(p，q，r)=
         F
         F
         F
         F
         F
         T
         T
         T

--

> -------------------------------------------------------------------------- <

92學年上學期邏輯丙期末考

ㄧ、定義
1.      以~，> 定義．，ˇ，≡
2.      再以 | 定義~，>
二、定義
        1.個體
        2.關係
        3.A型句
        4.有效語句
三、證明
（一）1. (x)Fx>Kab  /∴(]x)(Fx>Kab)
（二）1. (x)(Fx>x=a)
      2. (y)(Hy>y=b)
      3. (]z)(Fz．Hz)  /∴a=b
（三）1. (]x)(Gx．(y)(Py>Sxy))  /∴(y)(Py>(]x)( Gx．Sxy))
四、反證
        （一）1. (x)Fx>fabc  /∴(x)(Fx>fabc)
        （二）1. (x)(y)(Lxy>Lyx)  /∴(x)Lxx
        （三）1. (x)(Fx>Kx)
              2. (x)(Hx>Kx)  /∴(]x)(Fx．Hx)
五、翻譯
        （一）The present king of Frence is bold.
        （二）所有閃亮的東西並非都是金子或銀子。
        （三）1.每個人都有頭髮  /∴每個白人都有白頭髮
六、問答
        （一）下ㄧ個論證
              A /∴ A>B
              是無效的。問：如何在只增加一個前提之下，使它變成有效的？
        （二）「套套邏輯」和「有效語句」由何關係？
              請舉例加以說明。
七、填空
    我的姓名是：_________。