合取消去規則

合取消去規則

合取消去規則(elimination rule of conjunction)是推理規則的一種,如果前提p∧q為真,則得結論命題p為真與q為真,由此得到的兩個規則稱為合取消去規則 。

基本介紹

合取消去規則是邏輯演算規則之一。意思是說,如果一個合取命題是真的,那么它的每個支命題都是真的。

合取消去規則是某些自然推理系統中的推理規則之一。簡記為∧E或者∧。可表述為兩種形式 :

(1)若Γ├A∧B,則Γ├A;

(2)若Γ├A∧B,則Γ├B。

其中Γ是任意的公式的集合,A、B是公式,├是推出關係。

這一規則意為:若Γ可以推出A與B的合取式A∧B,則Γ可以推出A,Γ也可以推出B。這一規則又可用如下的圖式來表示:

合取消去規則 合取消去規則

也可以表述為如下的圖式 :

合取消去規則 合取消去規則

例如:

公民、法人的合法的民事權益受法律保護,

公民的合法的民事權益營法律僳護。

相關概念

謂詞邏輯的自然推理系統

直覺主義謂詞邏輯的自然推理系統是由根岑於1934年建構的推理系統。簡記為系統IQN。它的初始符號中有邏輯聯結詞和量詞¬(否定)、∧(合取)、∨(析取)、→(直覺主義蘊涵)、ᗄ(全稱量詞)、∃(存在量詞),對它們可以作直覺主義的構造性解釋。系統IQN包含如下的推理規則:肯定前提規則、合取引入規則、析取引入規則、蘊涵引入規則、否定引入規則、合取消去規則、析取消去規則、蘊涵消去規則、否定消去規則、全稱量詞引入規則、存在量詞引入規則、全稱量詞消去規則、存在量詞消去規則。系統IQN是經典謂詞邏輯的自然推理系統QN的真子系統。“間接證明規則”不是系統IQN中有效的推理規則,如果把“間接證明規則”添加到系統IQN中去,就得到了經典謂詞邏輯的自然推理系統QN,即系統QN=系統IQN+間接證明規則。系統IQN等價於公理化的直覺主義謂詞演算IQ,在語義解釋(模型)的基礎上,可以證明系統IQN的可靠性和完全性 。

命題邏輯的自然推理系統

直覺主義命題邏輯的自然推理系統是由根岑於1934年建構的推理系統。簡記為系統IPN。它的初始符號中有邏輯聯結詞¬(否定)、∧(合取)、∨(析取)和→(直覺主義蘊涵),對它們可以作直覺主義的構造性解釋。系統IPN包含如下的推理規則:肯定前提規則、合取引入規則、析取引入規則、蘊涵引入規則、否定引入規則、合取消去規則、析取消去規則、蘊涵消去規則、否定消去規則。系統IPN是經典命題邏輯的自然推理系統PN的真子系統。“間接證明規則”不是系統IPN中有效的推理規則,如果把“間接證明規則”添加到系統IPN中去,就得到了經典命題邏輯的自然推理系統PN,即系統PN=系統IPN+間接證明規則。系統IPN等價於公理化的直覺主義命題演算IP,在語義解釋(模型)的基礎上,可以證明系統IPN的可靠性和完全性,系統IPN還是能行可判定的 。

合取式

合取式是由合取詞聯結兩個公式構成的真值形式。如p∧q、 (p∨q) ∧r、(p→q) ∧ (⌝p→ ⌝q) 等等。 有時也特 指由合取詞聯結兩個命題變元構成的基本真值形式,即p∧q (讀作“p合取q”,或“p並且q”)。合取式與其合取支 (即由合取詞聯結的兩個公式) 之間的真值關係,可用p∧q的真值表來表示(以“T”表示 真,以“F” 表示假) :

合取消去規則 合取消去規則

此表說明,當p和q皆真時,p∧q為真; 當p和q中有一假或兩者皆假時,p∧q為假。用任一其他公式代替命題變元p或q,並不會改變這種真值關係。合取式是聯言命題的真值形式,它捨去了聯言命題的支命題之間在內容、意義上的聯繫。一個合取式的兩個合取支可互換位置,而並不改變該合取式的真值。但用日常語言表達的聯言命題,其支命題的前後順序往往是不能隨意顛倒的 。

相關詞條

熱門詞條

聯絡我們