4命题逻辑的自然演译系统-NTUSTMoodle.doc

PAGE PAGE 12 邏輯思考概論 GE3903302 4: PAGE 3 1 4 命題邏輯的自然演譯系統 4.1 自然演繹系統的特徵 自然演繹系統(system of natural deduction)的產生是針對公理系統(axiom system)而來，公理系統中的證明比較難建立，而且比較冘長。公理系統除了為數很少的公理之外，它的推論規則也相當少，在證明的建立上，困難相對增加。還有一個重要的難題，就是選擇什麼句式當作公理，這個問題本身是一個爭論的議題。公理是自明的(self-evident)，公理本身不需要任何證明。公理經過語意學的解釋之後必然為真。 自然演繹系統可以說是只由一組推論規則所構成的演繹系統。這種演繹系統不需要預設任何公理，它只在證明時假定一些句式為真，再利用推論規則去導出所要的句式。由假定(assumption)而得到證明的這種概念，是自然演繹法的基本概念。例如先假定φ，再從這個假定推理出ψ。句式ψ的真假並不是自然演繹法的重點。它所注重的是，ψ的真是根據φ的真，亦即φ→ψ為真。在這個推論中，可以結論出φ→ψ為真，而不論φ為真或假。由於φ的真不保證φ→ψ的真，所以φ不再是φ→ψ的前提。在這個推論得出φ→ψ時，φ就從φ→ψ的前提中去前提化(discharged)。這個論證型同時也是一語句連詞的引進規則(introduction rule)： [φ](n) : ψ (n) φ→ψ 因為φ在第n個步驟的證明中會去前提化，所以用括號 [ ] 括起來。應用上述規則後被去前提化的假設φ以自然數n加以標示，表示在第n個步驟時會應用這個規則，同時將φ去前提化。 在自然演繹系統中，又稱之為條件句的引進規則(簡稱→I)。除了引進規則之外，還有所謂的語句連詞的消去規則(elimination rule)。例如條件句的消去規則： φ φ→ψ ψ 建立自然演繹系統的目標是將這類的推理有系統的普遍化，也就是針對語句連詞找出成對的引進規則與消去規則。 在公理系統中，導出都是由公理開始的，經由公理從推論規則導出的是定理，定理是由公理導出的句式，所以‘├ φ’是公理系統中導出的基本概念。在自然演繹系統中，導出則是由假設開始的。自然演繹系統是由假設開始，所以‘Γ├ φ’才是基本的，定理‘├ φ’是特例。 自然演繹系統不需要預設公理，所以不需要對公理加以證成。構成自然演繹系統的一組規則是基於語句連詞的語意性質而設立的。相對於公理系統，由這種規則所進行的邏輯導出(推理)是直接且自然的。自然演繹系統中的推理也比較簡化而且容易建立。 4.2 自然演繹系統的推論規則 自然演繹系統有許多不同的表達方式，常見的兩種是：(1)提出基本推論規則，以引進規則與消去規則這兩類的推論規則為主，加上RAA(歸謬法)等規則。(2)將推論規則不分基本與衍生(derived)一併提出，取而代之的是語句涵蘊規則與語句等值規則的區分。這裏將選擇第一種方式，另外會在附錄中依據第二種表達方式列出一些衍生規則。 4.2.1 自然演繹系統的原型 自然演繹系統中的結構規則與上一章所提出來的相同： (1) 假設規則(Ass.) φ├ φ (2) 弱化規則(Thin) 如果Γ├ φ，則Γ, ψ├ φ (3) 捷徑規則(Cut) 如果Γ├ φ且φ, Δ├ ψ，則Γ, Δ├ ψ 我們先將自然演繹系統的一個原型(prototype)描述如下： (→E) Modus Ponendo Ponens (MP) φ, φ→ψ├ ψ (→I) Rule of conditional proof (CP) 假定φ├ ψ，則可以得到├ φ→ψ (?I) Rule of ?-introduction φ, ψ├ φ?ψ (?E) Rule of ?-elimination φ?ψ├ φ；φ?ψ├ ψ (?I) Rule of ?-introduction φ├ φ?ψ；ψ├ φ?ψ (?E) Rule of ?-elimination 如果Γ, φ├ θ，且Δ, ψ├ θ，則Γ, Δ, φ?ψ├ θ 這一組推論規則再加上前述的結構規則就成為自然演繹系統的一個原型。(→E)是上一節介紹的條件句的消去規則，(→I)是條件句引進規則。底下我們先定義什麼是論證的證明。 定義4.2.1 (論證的證明) 論證的證明意謂著我們可以從一組前提的集合(可以是空集合)，經由形變規則(結構規則與推論規則)導出結論。 我們還會使用邏輯歸結(logical consequence)的概念，其定義如下： 定義4.2.2 (邏輯歸結) 當句串Γ; φ是一有效論證時，可以說φ是Γ的邏輯歸結。 可以用一簡單的證明來