邏輯丙考古題 志遠 抱歉啦

[yasuda (唸書 爵士樂才是生命)]

邏輯丙期中考:

ㄧ、定義
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
期末考:

ㄧ、定義
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. (]x)(Gx．(y)(Py>Sxy))  /∴(y)(Py>(]x)( Gx．Sxy))
六、問答
        （一）下ㄧ個論證
              A /∴ A>B
              是無效的。問：如何在只增加一個前提之下，使它變成有效的？
        （二）「套套邏輯」和「有效語句」由何關係？
              請舉例加以說明。
七、填空
    我的姓名是：_________。

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 218.167.9.37
→ son11:他已經去考試了你才貼@@"
→ ghast:小康,謝啦!
→ Cloudsky911:XD