4命题逻辑的自然演译系统.DOCVIP

PAGE PAGE 12 邏輯思考概論 GE3903302 4: PAGE 3 1 4 命題邏輯的自然演譯系統 4.1 自然演繹系統的特徵 自然演繹系統(system of natural deduction)的產生是針對公理系統(axiom system)而來，公理系統中的證明比較難建立，而且比較冘長。公理系統除了為數很少的公理之外，它的推論規則也相當少，在證明的建立上，困難相對增加。還有一個重要的難題，就是選擇什麼句式當作公理，這個問題本身是一個爭論的議題。公理是自明的(self-evident)，公理本身不需要任何證明。公理經過語意學的解釋之後必然為真。 自然演繹系統可以說是只由一組推論規則所構成的演繹系統。這種演繹系統不需要預設任何公理，它只在證明時假定一些句式為真，再利用推論規則去導出所要的句式。由假定(assumption)而得到證明的這種概念，是自然演繹法的基本概念。例如先假定φ，再從這個假定推理出ψ。句式ψ的真假並不是自然演繹法的重點。它所注重的是，ψ的真是根據φ的真，亦即φ→ψ為真。在這個推論中，可以結論出φ→ψ為真，而不論φ為真或假。由於φ的真不保證φ→ψ的真，所以φ不再是φ→ψ的前提。在這個推論得出φ→ψ時，φ就從φ→ψ的前提中去前提化(discharged)。這個論證型同時也是一語句連詞的引進規則(introduction rul