4.1 命题逻辑

第四章 数理逻辑

全文均为手敲，如果发现有误，请于评论区交流讨论留言，作者会及时修改

4.1 命题逻辑

1. 简单的基础概念

   命题、联结词

   命题变元、原子公式、由联结词集合生成的公式

   真值赋值、永真式、可满足式、永假式、真值表、替换

   等值演算、对偶定理

   文字、简单合取式（析取式）、合取（析取）范式、主合取（析取）范式

   逻辑推论

2. 对偶定理

   设$A$是由 { 0 , 1 , ⌝ , ∧ , ∨ } \{0,1,\urcorner,\wedge,\vee\} {0,1,┐,∧,∨}生成的公式，将$A$中的$\wedge$和$\vee$互换，$0$和$1$互换得到$A^{\ast }$，称$A^{\ast }$与$A$互为对偶式。

   若真值赋值$v_1,v_2$满足：对每个命题变元$p$，$p^{v_1}\ne p^{v_2}$，则称$v_1,v_2$是相反的真值赋值。

   设$A$是由 { 0 , 1 , ⌝ , ∧ , ∨ } \{0,1,\urcorner,\wedge,\vee\} {0,1,┐,∧,∨}生成的公式，$A^{\ast }$与$A$互为对偶式，$v$和$v^{\prime }$是箱单的真值赋值，则$v(A^{\ast })=┐v^{\prime }(A)$。

   对偶定理：设$A,B$是 { 0 , 1 , ⌝ , ∧ , ∨ } \{0,1,\urcorner,\wedge,\vee\} {0,1,┐,∧,∨}生成的公式，$A$与$A^{\ast }$互为对偶式，$B$与$B^{\ast }$互为对偶式，则

   $$如果A\iff B,那么A^{\ast }\iff B^{\ast }$$

3. 完全集和极小完全集

   设$S$是联结词集合。如果每个$n(n\ge 1)$元联结词都可由$S$定义，则称$S$为完全集。

   若从完全集$S$中去掉任意一个联结词就成为不完全的了，则称$S$为极小完全集。

   若完全集$S_1$中的每个联结词都可由联结词集合$S_2$定义，则$S_2$也是完全集。

4. 永真式与永假式的主范式

   出现$n$个命题变元的公式$A$为永真式，与以下两个条件均等价：

   $(1)A$的主析取范式中包含所有$2^n$个极小项。

   $(2)A$的主合取范式中不包含任何极大项。

   出现$n$个命题变元的公式$A$为永假式，与以下两个条件均等价：

   $(1)A$的主析取范式不包含任何极小项。

   $(2)A$的主合取范式中包含所有$2^n$个极大项。

5. 逻辑推论

   若真值赋值$v$满足公式集合$\Gamma$中的每个公式，则称$v$满足$\Gamma$。

   设$A$是公式，若每个满足$\Gamma$的真值赋值都满足$A$，则称$A$是$\Gamma$的逻辑推论，记为$\Gamma \models A$。

6. 逻辑推论相关定理

   设$A$是公式则$\models A$当且仅当$A$是永真式。

   设$A_1,\cdots ,A_n,B$是公式，则$A_1,\cdots ,A_n\models B$，当且仅当$A_1\wedge \cdots \wedge A_n\to B$是永真式。

   设$A,B$是公式，则$A\iff B$，当且仅当$A\models B$且$B\models A$。

   设$\Gamma$是公式集，$A,B$是公式，则 Γ ∪ { A } ⊨ B \Gamma\cup\{A\}\vDash B Γ∪{A}⊨B，当且仅当$\Gamma \models A\to B$。

   设$n$是正整数，则公式集 { A 1 , ⋯ A n } \{A_1,\cdots A_n\} {A1​,⋯An​}是可满足的，当且仅当$A_1\wedge \cdots \wedge A_n$是可满足式。

   设$\Gamma$是公式集，则$\Gamma$是不可满足的，当且仅当每个公式都是$\Gamma$的逻辑推论。