数理逻辑小结1——命题逻辑基本概念

数理逻辑（1）——命题逻辑基本概念

一 命题与联结词

命题符号化

• 命题：可以判断真假的陈述句
• 原子命题：不包含任何逻辑联结词的命题 or 无法分解为更简单陈述句的命题
• 复合命题：由联结词和简单命题构成的命题

联结词

• 命题变元：若字母 $P$ 未指定代表某一命题，其为命题变元，否则其为命题常元，拥有唯一真值
• 命题联结词：
  • $\neg$：非
  • $\wedge$：与，常见于“既。。又。。”、“不仅。。而且。。”、“虽然。。但是。。”、“。。和。。”
  • $\vee$：或，注意或与异或的区别
  • $\to$：蕴含，$P\to Q$ 可以表示 ”如果P，那么Q“、”只要P，就Q“，”P仅当Q“，“除非Q，否则非P”
  • $\leftrightarrow$：当且仅当
  • 优先级：$\neg >(\wedge =\vee )>\to >\leftrightarrow$

命题公式以及指派

• 命题公式：由原子命题（命题常元，命题变元）以及命题联结词经过有限次复合的结果为命题公式。若公式 $A$ 含有原子变元符 $p_1,p_2,\cdots ,p_n$，则记为 $A(p_1,p_2,\cdots ,p_n)$
• 指派：对公式 $A$ 中的所有原子变元进行赋值，若有 $n$ 个原子变元，则有 $2^n$ 种赋值方式
• 重言式：公式对任意一种赋值永真
• 永假式（矛盾式）：公式对任意一种赋值永假
• 可满足式：存在一个指派使得公式为真
• 命题赋值的计算：
  • $\neg A=1-A$
  • $A\wedge B=A\ast B$
  • $A\vee B=A+B-AB$
  • $A\to B=1-A+AB$
  • $A\leftrightarrow B=AB+(1-A)(1-B)$

逻辑蕴含与逻辑等价

• 逻辑蕴含：对公式 $A$、$B$，如果所有弄真 $A$ 的指派必弄真 $B$，则称 $A$ 逻辑蕴含 $B$，记为 $A\Rightarrow B$
• 逻辑蕴含：若所有弄真公式集 Γ = { A 1 , A 2 , ⋯   , A n } \Gamma=\{A_1,A_2,\cdots,A_n\} Γ={A1​,A2​,⋯,An​} 中的每个公式的指派，都弄真 $B$，则称 $\Gamma \Rightarrow B$
• 逻辑等价：$A\Rightarrow B$ 且 $B\Rightarrow A$，记为 $A\iff B$
• 逻辑蕴含与逻辑等价的证明：可以根据命题赋值的计算形式或者真值表来进行判断

定理

• $A\Rightarrow B$ 当且仅当 $A\to B$ 为重言式
• $A\iff B$ 当且仅当 $A\leftrightarrow B$ 为重言式
• 代入原理：设 $A$ 为含命题变元 $p$ 的重言式，将 $A$ 中所有 $p$ 的出现均替换为命题公式 $B$，所得公式仍为重言式
• 替换原理：$C$ 为公式 $A$ 中子公式，$C\iff D$，若将 $A$ 中某些公式 $C$ 替换为 $D$，得到公式 $B$，有 $A\iff B$

二 范式

基本概念

• 文字：原子命题变元及其否定称为文字

• 合取式：若干文字的合取称为合取式

• 析取式：若干文字的析取称为析取式

• 合取范式：若干析取式的合取，形如
  $$A_1\wedge A_2\wedge \cdots \wedge A_n$$
  其中 $A_i$ 为析取式

• 析取范式：若干合取式的析取，形如
  $$A_1\vee A_2\vee \cdots \vee A_n$$
  其中 $A_i$ 为合取式

范式的求解

• 范式定理：任一命题公式 $A$ 都存在与之等价的合取范式和析取范式，合取范式与析取范式的形式不唯一
• 范式的求解过程：
  1. 消去 $\to$ 和 $\leftrightarrow$
     • $A\to B\iff \neg A\vee B$
     • $(A\leftrightarrow B)\iff (A\wedge B)\vee (\neg A\wedge \neg B)$
     • $(A\leftrightarrow B)\iff (\neg A\wedge B)\vee (A\wedge \neg B)$
  2. 使用摩根定律消除 $\neg$
     • $\neg (A\wedge B)\iff \neg A\vee \neg B$
     • $\neg (A\vee B)\iff \neg A\wedge \neg B$
  3. 使用分配律进行转换
  4. 化简冗余子公式

主范式

相互等价的公式有着相同的主范式，可以根据主范式作为所有相互等价的公式的统一形式。（我认为根本上是使用公式来表达一个完备的真值表）

注意下列表述中，合取范式、主合取范式、合取项、合取式的区别，析取亦然。

• 合取项：称合取范式中的析取式为合取项

• 析取项：称析取范式中的合取式为析取项

• 主合取范式：若命题公式 $A$ 的某一个合取范式，其中每一个合取项都唯一包含有公式 $A$ 中的任意一个单位变元，则称该合取范式为主合取范式，称其中的合取项为极大项，常用 $M_j$ 表示
  $$\begin{gathered} A\iff M_1\wedge M_2\wedge \cdots \wedge M_k \\ {M}_j=Q_1\vee Q_2\vee \cdots \vee Q_n \\ {Q}_i=p_{i}or\neg p_i \end{gathered}$$

• 主析取范式亦然

• 主范式的求解：

  1. 得到相应的合取范式或析取范式
  2. 向合取项中添加若干永假式 $p_i\wedge\neg p_i
     $，其中 $p_i$ 为该合取式中缺少的命题变元或向析取项中添加若干永真式 $p_i\vee \neg p_i$
  3. 使用分配律进行展开化简

定理

• 永真式无主合取范式，永假式无主析取范式
• 任一命题公式（非永真永假）都存在唯一与之等价的主合取范式和主析取范式
• $n$ 元命题公式 $A$ 的主合取范式中极大项与极小项的数目之和为 $2^n$
• $n$ 元命题公式的全体可以划分为 $2^{2^n}$ 个等价类，每一类中的公式相互逻辑等价，并等价于他们公共的主合取范式

主范式以及其极大极小项的较多性质可以根据其形式简单推出，且已经在数字逻辑课程中学习过，此处略去。

三 联结词的扩充与归约

一个 $n$ 元联结词就是一个从 { T , F } n → { T , F } \{T,F\}^n\to\{T,F\} {T,F}n→{T,F} 的 $n$ 元映射，其对应的真值函数表有 $2^{2^n}$ 种，下面就对我们上边所学的 5 中联结词之外的联结词进行扩充。

一元联结词

$p$	$f_1(p)$	$f_2(p)$	$f_3(p)$	$f_4(p)$
0	0	0	1	1
1	0	1	0	1

相应的真值函数为

• $f_1(p)=0$：常联结词
• $f_2(p)=p$：恒等联结词
• $f_3(p)=\neg p$：否定词
• $f_4(p)=1$：常联结词

二元联结词

$p$	$q$	${\ast }_1$	${\ast }_2$	${\ast }_3$	${\ast }_4$	${\ast }_5$	${\ast }_6$	${\ast }_7$	${\ast }_8$
0	0	0	0	0	0	0	0	0	0
0	1	0	0	0	0	1	1	1	1
1	0	0	0	1	1	0	0	1	1
1	1	0	1	0	1	0	1	0	1

$p$	$q$	${\ast }_9$	${\ast }_{10}$	${\ast }_{11}$	${\ast }_{12}$	${\ast }_{13}$	${\ast }_{14}$	${\ast }_{15}$	${\ast }_{16}$
0	0	1	1	1	1	1	1	1	1
0	1	0	0	0	0	1	1	1	1
1	0	0	0	1	1	0	0	1	1
1	1	0	1	0	1	0	1	0	1

• $p{\ast }_{1}q\iff 0,p{\ast }_{16}q\iff 1$，${\ast }_1,{\ast }_{16}$ 为常联结词
• $p{\ast }_{4}q\iff p,p{\ast }_{6}q\iff q$ 为投影联结词
• $p{\ast }_{13}q\iff \neg p,p{\ast }_{11}q\iff \neg q$ 为二元否定词
• $p{\ast }_{9}q\iff \neg (p\vee q)$ 为或非词，用记号 $\downarrow$ 表示，即 $p\downarrow q\iff \neg (p\vee q)$
• $p{\ast }_{15}q\iff \neg (p\wedge q)$ 为与非词，用记号 $\uparrow$ 表示，即 $p\uparrow q\iff \neg (p\wedge q)$
• $p{\ast }_{3}q\iff \neg (p\to q),p{\ast }_{5}q\iff \neg (q\to p)$，即 ${\ast }_3,{\ast }_5$ 为蕴含否定词，可以表示为$p{\ast }_{3}q=p\nrightarrow q\iff \neg (p\to q),p{\ast }_{5}q=q/\top \iff \neg (q\to p)$
• $p{\ast }_{7}q\iff (p\vee q)\wedge \neg (p\wedge q)\iff \neg (p\leftrightarrow q)$，称为异或词，用 ${\vee }^{-}$ 或 $\oplus$ 表示
• 剩余为常用的五个蕴含词

联结词的表示与完备词组

• 联结词的可表示性：设 $h$ 为一 $n$ 元联结词，$A$ 为由 $m$ 个联结词 $g_1,g_2,\cdots ,g_m$ 构成的命题公式，若有 $h(p_1,p_2,\cdots ,p_n)\iff A$，则称联结词 $h$ 可由联结词 $g_1,g_2,\cdots ,g_m$ 来表示
• 联结词的完备性：设 $C$ 为联结词的集合，若对任一命题公式都可由 $C$ 中的联结词表示出来的公式与之等值，则称 $C$ 是联结词的完备集，或称 $C$ 是完备的联结词集合
• 任何一个一元、二元联结词都可以通过 $\neg ,\vee ,\wedge$ 表示出来
• 当联结词组可表示所有的一元、二元联结词时，称其为完备联结词组
• 联结词完备集有 { ¬ , ∧ , ∨ } ,   { ¬ , ∨ } ,   { ¬ , ∧ } ,   { ¬ , → } ,   { ↑ } ,   { ↓ } \{\neg,\wedge,\vee\},\,\{\neg,\vee\},\,\{\neg,\wedge\},\,\{\neg,\to\},\,\{\uparrow\},\,\{\downarrow\} {¬,∧,∨},{¬,∨},{¬,∧},{¬,→},{↑},{↓}
  • $p\vee q\iff \neg (\neg p\wedge \neg q)$
  • $p\wedge q\iff \neg (\neg p\vee \neg q)$
  • $p\vee q\iff \neg p\to q$
  • $\neg p\iff \neg (p\wedge p)\iff p\uparrow p$
  • $p\wedge q\iff \neg \neg (p\wedge q)\iff \neg (p\uparrow q)\iff (p\uparrow q)\uparrow (p\uparrow q)$
  • $\neg p\iff \neg (p\vee p)\iff p\downarrow p$
  • $p\vee q\iff \neg \neg (p\vee q)\iff \neg (p\downarrow q)\iff (p\downarrow q)\downarrow (p\downarrow q)$

四 对偶式

• 对偶式：在仅含有联结词 $\neg ,\wedge ,\vee$ 命题公式 $A$ 中，将 $\wedge$ 换成 $\vee$，$\vee$ 换成 $\wedge$，$F$ 换成 $T$，$T$ 换成 $F$，得到的公式称为 $A$ 的对偶式，记为 $A^{\ast }$
• 内否式：舍友命题公式 $A(p_1,p_2,\cdots ,p_n)$，对公示 $A$ 中的变元 $p_i$ 用 $\neg p_i$ 做代入所得的结果称为 $A$ 的内否式，记为 $A^{-}$
• $\neg (A^{\ast })\iff (\neg A{)}^{\ast }$
• $\neg A\iff (A^{\ast }{)}^{-},\neg (A^{-})\iff (\neg A{)}^{-}$
• $(\neg A{)}^{-}\iff A^{\ast }$
• 若 $A\iff B$ 则必有 $A^{\ast }\iff B^{\ast }$
• 若 $A\to B$ 永真，则 $B^{\ast }\to A^{\ast }$ 永真