逻辑思考概论-NTUSTMoodle.DOCVIP

7 述詞邏輯的自然演繹系統 7.1 推論規則：量詞的引進與消去 述詞邏輯的有效論證只能用推論規則來證明，述詞邏輯的解釋方法只能決定無效的論證，不能用來決定有效論證。然而證明一論證，真正證明的是前提與結論的語法推演關係，而不是直接證明出論證是有效的。我們是依據哥德爾(Kurt G?del)的完備性定理，將被證明的論證進一步說是有效論證。在證明中，這個理由通常是隱含而不用明白寫出。述詞邏輯是命題邏輯的推廣，所以繼承了命題邏輯的所有推論規則。因此，命題邏輯中自然演繹的推論規則在這裏仍舊適用。述詞邏輯的規則增加了全稱量詞的引進規則與消去規則，存在量詞的引進與消去規則。 7.1.1 全稱量詞的引進與消去 全稱量詞的兩項規則中，消去規則所要求的條件比較簡單，所以先介紹這個規則。全稱量詞的消去規則簡稱為(?E)。(?E)可以描述如下： (?E)：在證明中的任何一行出現任何一個全稱句式(?ξ)φ，都可以由這個全稱句式推論出這個句式的個例φ(α/ξ)於證明的另一行。右側註解寫上全稱句式的行號與?E。推論出來的這一行所依靠的前提等同於全稱句式所依靠的前提。 (?E)：(?ξ)φ├ φ(α/ξ)。 “ξ”代表任何一個變元，“α”代表任何一個名稱。“α/ξ”表示以α取代(substitute) ξ。以名稱α取代φ中的變元ξ，得到的是(?ξ)φ的一個個例。 可以用全稱語句的分析來幫助我們理解這個規則。先來看(?x)Fx在一有限的域{a, b, c, …}之解釋下，它可以分析成個例的並言： Fa?Fb?Fc?… 在這個解釋下，全稱語句(?x)Fx等值於上述的並言。上述的並言可以一步一步的導出(?x)Fx的每個個例。所以全稱語句可以導出它的個例。下述句串(?x)(Fx→Gx), Fa├ Ga的證明可以例示(?E)規則： {1}(1)(?x)(Fx→Gx) P {2}(2)Fa P {1}(3)Fa→Ga 1, ?E {1,2}(4)Ga 2,3, →E Fa→Ga是全稱語句(?x)(Fx→Gx)的一個個例。同理，Fb→Gb, Fc→Gc, …等都是(?x)(Fx→Gx)的個例。所以(?x)(Fx→Gx), Fb├ Gb也是有效的論證。 例題7.1：證明(?x)(Fx→Gx), (?x)(Fx?Hx)├ Ga?Ka。 全稱量詞的引進規則簡稱為(?I)。全稱量詞的消去規則(?E)的應用較為直接，引進規則(?I)的應用就不那麼直接。(?I)的應用有一些限制，如果不遵守這些限制，有可能會導致無效的推論。(?I)規則是把一句式全稱普遍化，但不是任何句式都可以全稱普遍化。底下的論證就是一個無效的例子： 春嬌是女性。 所以， 每個人都是女性。 不需要看它的論證型，我們就已經知道這個論證前提真而結論假，是無效的。(?I)規則不能用在這個論證上的主要理由在於我們不能從包含特定名稱的單稱語句推論到全稱語句。(?I)規則只能用在包含任意名稱的單稱語句上，也就是說它所能應用的單稱語句，其中所牽涉的名稱是任意給出的，例如在證明中應用(?E)規則導出的單稱語句。(?I)規則所牽涉的任意名稱是名稱而不是變元，為了表示它是非特定名稱，所以稱為參數(parameter) 春嬌的例子之論證型為：Fa; (?x)(Hx→Fx) {1}(1)Fa P {2}(2)Ha A {1,2}(3)Fa?Ha 1,2, ?I {1,2}(4)Fa 3, ?E {1}(5)Ha→Fa 2,4, →I {1}(6)(?x)(Hx→Fx) 5, ?I的誤用 第6步驟是?I的誤用，才會將無效論證證明出來。 如果一句式從全稱語句應用(?E)規則推論出來，則通常可以應用(?I)規則將它全稱普遍化。例如句串(?x)(Fx→Gx), (?x)(Gx→Hx)├ (?x)(Fx→Hx)的證明： {1}(1)(?x)(Fx→Gx) P {2}(2)(?x)(Gx→Hx) P {3}(3)Fa A {1}(4)Fa→Ga 1,