第四章 数理逻辑
全文均为手敲,如果发现有误,请于评论区交流讨论留言,作者会及时修改
4.3 公理系统
-
命题逻辑的公理系统
(1)符号
(2)公式
(3)公理
A → ( B → A ) A 1 ( A → ( B → C ) ) → ( ( A → B ) → ( A → C ) ) A 2 ( ⌝ A → ⌝ B ) → ( B → A ) A 3 \begin{aligned} &A\to (B\to A)&\mathcal{A}_1\\ &(A\to(B\to C))\to((A\to B)\to(A\to C))&\mathcal{A}_2\\ &(\urcorner A\to\urcorner B)\to(B\to A)&\mathcal A_3 \end{aligned} A→(B→A)(A→(B→C))→((A→B)→(A→C))(┐A→┐B)→(B→A)A1A2A3
(4)推理规则
M P 规则 : 从 A 和 A → B 推出 B MP规则:从A和A\to B推出B MP规则:从A和A→B推出B
-
谓词逻辑的公理系统
(1)符号
(2)项和公式
(3)公理
A → ( B → A ) A 1 ( A → ( B → C ) ) → ( ( A → B ) → ( A → C ) ) A 2 ( ⌝ A → ⌝ B ) → ( B → A ) A 3 ∀ x i A → A t x i , 其中项 t 对于 A 中的 x i 可代入 A 4 ∀ x i ( A → B ) → ( A → ∀ x i B ) , 其中 x i 不是 A 的自由变元 A 5 \begin{aligned} &A\to (B\to A)&\mathcal{A}_1\\ &(A\to(B\to C))\to((A\to B)\to(A\to C))&\mathcal{A}_2\\ &(\urcorner A\to\urcorner B)\to(B\to A)&\mathcal{A}_3\\ &\forall x_iA\to A_t^{x^i},其中项t对于A中的x_i可代入&\mathcal{A}_4\\ &\forall x_i(A\to B)\to(A\to\forall x_iB),其中x_i不是A的自由变元&\mathcal{A}_5 \end{aligned} A→(B→A)(A→(B→C))→((A→B)→(A→C))(┐A→┐B)→(B→A)∀xiA→Atxi,其中项t对于A中的xi可代入∀xi(A→B)→(A→∀xiB),其中xi不是A的自由变元A1A2A3A4A5
(4)推理规则
M P 规则 : 从 A 和 A → B 推出 B U G 规则 : 从 A 推出 ∀ x i A \begin{aligned} &MP规则:从A和A\to B推出B\\ &UG规则:从A推出\forall x_iA \end{aligned} MP规则:从A和A→B推出BUG规则:从A推出∀xiA
-
协调性
当公理系统可靠且完备时,如果对于每个公式 A A A, Γ ⊢ A \Gamma\vdash A Γ⊢A,则称公式集 Γ \Gamma Γ是不协调的,否则称 Γ \Gamma Γ是协调的。
Γ \Gamma Γ协调,当且仅当 Γ \Gamma Γ可满足。
-
可靠性
可靠性定理:若 Γ ⊢ A \Gamma\vdash A Γ⊢A,则 Γ ⊨ A \Gamma\vDash A Γ⊨A。
公理系统可靠,当且仅当公理系统满足可靠性定理。
-
完备性
完备性定理:若 Γ ⊨ A \Gamma\vDash A Γ⊨A,则 Γ ⊢ A \Gamma\vdash A Γ⊢A。
公理系统完备,当且仅当公理系统满足完备性定理。
-
紧致性定理
第一种形式:若 Γ ⊨ A \Gamma\vDash A Γ⊨A,则有 Γ \Gamma Γ的有穷子集 Γ 1 \Gamma_1 Γ1,使得 Γ 1 ⊨ A \Gamma_1\vDash A Γ1⊨A。
第二种形式:若 Γ \Gamma Γ不可满足,则有 Γ \Gamma Γ的有穷子集不可满足。
紧致性定理是一阶逻辑的重要性质,对于二阶逻辑,紧致性定理不再成立。