截消證明方法

截消證明方法的本質是截消引理。它最初是跟岑自然演繹系統 G 的一條子規則，後經過擴充，成為一種獨立的方法，使得截短的規則不再局限於 G 的規則。

基本介紹

• 中文名：截消證明方法
• 適用範圍：數理科學

結構

稱以下證明結構是截消證明方法的結構：

其中：𝔸是前提；𝕃是引理：𝕋理論（命題集合）；&表示“並且”（因為它是衍語言中的符號，所以不用邏輯符號它相當於“∨”）；⊢讀作“推導出”。

本質

截消證明方法的本質是截消引理。它最初是 G 的一條子規則，後經過擴充，成為一種獨立的方法，使得截短的規則不再局限於 G 的規則。擴充的方法主要有兩個：

(1)按照λ演算的規則進行化簡；

(2)按照（允許具有高度表示的）樹結構之間的蘊涵關係進行化簡。

在一個根岑風格的推導（樹結構）中，公式具有級(Grade或者Degree)。一種方法是把級數直接表示在樹上作為樹的一個節點以增加直觀性。

常用數學證明方法

(1)關係運算證明方法；

(2)三段論證明方法；

(3)數學歸納法；

(4)反證法；

(5)構造性證明方法；

(6)同態證明方法；

(7)解釋性證明方法；

(8)系統化證明方法；

(9)截消證明方法；

(10)歸結證明方法；

(11)自動化證明方法。

其中，解釋性證明方法是同構證明方法的特例；截消證明方法是系統化證明方法的特例和擴展。