离散数学学习笔记-02-对偶和范式

对偶式

dual，假设A为仅含有$\sim ,\bigvee ,\bigwedge$的命题公式，若将$A$中的$\bigwedge$换成$\bigvee$，$\bigvee$换成$\bigwedge$，若包含$F$和$T$则相互取代，即得$A^{\ast }$，$A$的对偶式。$(A^{\ast }{)}^{\ast }=A$

• 定理1：设$A$为一个仅含有$\sim ,\bigvee ,\bigwedge$的命题公式，$p_1,p_2,\cdots ,p_n$为其命题变项，则：
  $\sim A(p_1,p_2,\cdots ,p_n)\equiv A^{\ast }(\sim p_1,\sim p_2,\cdots ,\sim p_n)$
  若$A$为重言式，则$A^{\ast }$必为矛盾式
• 定理2：设$A$和$B$为仅含联结词$\sim ,\bigvee ,\bigwedge$的命题公式，若$A\equiv B$，则$A^{\ast }\equiv B^{\ast }$

析取范式与合取范式

基础概念

• 文字：literal，$p,\sim p$且$p$和$\sim p$称为互补对
• 析取式：fundamental disjunction有限个文字的析取组成的公式
• 合取式：fundamental conjunction有限个文字的合取组成的公式
• 析取范式：disjunction normal form，$A_1\bigvee A_2\bigvee \cdots \bigvee A_n$，$A_1,A_2,\cdots ,A_n$为合取式，n个合取式的析取称为析取范式
• 合取范式：conjunction normal form，$A_1\bigwedge A_2\bigwedge \cdots \bigwedge A_n$，$A_1,A_2,\cdots ,A_n$为析取式，n个析取式的合取称为合取范式
• 定理：任何析取范式的对偶式为合取范式，任何合取范式的对偶式为析取范式，设$B$为$A^{\ast }$的析取范式，则$B^{\ast }$为$A$的合取范式

求范式的步骤：

• 将$\Rightarrow ,\iff$联结词转换为$\sim ,\bigvee ,\bigwedge$
  $$\begin{gathered} p\Rightarrow q\equiv \sim p\bigvee q \\ p\iff q\equiv (\sim p\bigvee q)\bigwedge (\sim q\bigvee p)求合取范式 \\ p\iff q\equiv (p\bigwedge q)\bigvee (\sim p\bigwedge \sim q)求析取范式 \end{gathered}$$
• 简化$\sim$，使$\sim$仅作用于命题变式
• 利用分配率，使其最终变为合取范式或析取范式

范式存在定理

任一命题公式都存在着与之等值的析取范式和合取范式

极小项

minterm合取式中的命题变项中，$p$和$\sim p$只存在一个，$n$个命题变项构成$2^n$个极小项，这些极小项仅在一种情况下为真
例：3个命题变项，8个极小项
$$\begin{array}{ccc}\sim p\bigwedge \sim q\bigwedge \sim r& 000-0& m_0\\ \sim p\bigwedge \sim q\bigwedge r& 001-0& m_1\\ ⋮& & ⋮\\ p\bigwedge q\bigwedge r& 111-7& m_7\end{array}$$

主析取范式

full disjunctive normal form，用$\sum$表示，由极小项的析取构成的析取范式
求主析取范式的步骤：

• 求$A$的一个析取范式$A^{\prime }$
• 若$A^{\prime }$的某合取式$B$不含命题变项$p_i$或$\sim p_i$，则将$B$展开成
  $$B\equiv B\bigwedge (p_i\bigvee \sim p_i)\equiv (B\bigwedge p_i)\bigvee (B\bigwedge \sim p_i)$$
• 化简
• 将极小项由小到大排列$m_1\bigvee m_2\bigvee m_5$用$\sum (1,2,5)$表示

极大项

maxterm析取式中的命题变项中，$p$和$\sim p$只存在一个，$n$个命题变项构成$2^n$个极小项，这些极小项仅在一种情况下为假
例：3个命题变项，8个极大项
$$\begin{array}{ccc}\sim p\bigvee \sim q\bigvee \sim r& 111-7& M_7\\ \sim p\bigvee \sim q\bigvee r& 110-6& M_6\\ ⋮& & ⋮\\ p\bigvee q\bigvee r& 000-0& M_0\end{array}$$

主合取范式

full conjunctive normal form，用$\prod$表示，由极大项的合取构成的合取范式
求主合取范式的步骤：

• 求$A$的一个合取范式$A^{\prime }$
• 若$A^{\prime }$的某析取式$B$不含命题变项$p_i$或$\sim p_i$，则将$B$展开成
  $$B\equiv B\bigvee (p_i\bigwedge \sim p_i)\equiv (B\bigvee p_i)\bigwedge (B\bigvee \sim p_i)$$
• 化简
• 将极大项由小到大排列$M_1\bigwedge M_2\bigwedge M_5$用$\prod (1,2,5)$表示

定理：

• 主析取范式和主合取范式是唯一的
• 得知主析取范式和主合取范式中的任意一个都可以很快的得到另一个。
  $\sum (2,4,5,6,7)\equiv \prod (0,1,3)$
• 恰由$2^n$个极小项构成的公式必为重言式
• 恰由$2^n$个极大项构成的公式必为矛盾式

命题逻辑的推理

推理：从前提推出结论的思维过程，前提premise或称假设hypothesis是指已知的命题公式$A_1,A_2,\cdots ,A_n$，结论conclusion是从前提出发应用推理规则推出的命题公式$B$

基本推理公式

• 附加率：$A\Rightarrow (A\bigvee B)$
• 化简律：$(A\bigwedge B)\Rightarrow A$
• 前后件附加：
  $$\begin{gathered} (A\Rightarrow B)\Rightarrow ((A\bigvee C)\Rightarrow (B\bigvee C)) \\ (A\Rightarrow B)\Rightarrow ((A\bigwedge C)\Rightarrow (B\bigwedge C)) \\ (A\Rightarrow B)\Rightarrow ((C\Rightarrow A)\Rightarrow (C\Rightarrow B)) \end{gathered}$$
• 对偶：$(A\Rightarrow B)\Rightarrow (B^{\ast }\Rightarrow A^{\ast })$
• 假言推理、分离式：$((A\Rightarrow B)\bigwedge A)\Rightarrow B$
• 拒取式：$(A\Rightarrow B)\bigwedge \sim B\Rightarrow \sim A$
• 析取三段论：$(A\bigvee B)\bigwedge \sim B\Rightarrow A$
• 假言三段论：$(A\Rightarrow B)\bigwedge (B\Rightarrow C)\Rightarrow (A\Rightarrow C)$
• 等价三段论：$(A\iff B)\bigwedge (B\iff C)\Rightarrow (A\iff C)$
• 构造性二难：$(A\Rightarrow B)\bigwedge (C\Rightarrow D)\bigwedge (A\bigvee C)\Rightarrow (B\bigvee D)$
• 构造性二难（特殊形式）：
  $$\begin{gathered} (A\Rightarrow C)\bigwedge (B\Rightarrow C)\bigwedge (A\bigvee B)\Rightarrow C \\ (A\Rightarrow B)\bigwedge (\sim A\Rightarrow B)\Rightarrow B \end{gathered}$$
• 破坏性二难：$(A\Rightarrow B)\bigwedge (C\Rightarrow D)\bigwedge (\sim B\bigvee \sim D)\Rightarrow (\sim A\bigvee \sim C)$

附加前提证明法additional premise

前提A，结论$C\Rightarrow B$可以转化为证明
前提A，C，结论B

归谬法(反证法）negation of conclusion

前提A，结论B可以转为证明
前提$A,\sim B$，结论得到矛盾

归结法resolution

• 将$A\bigwedge \sim B$化为合取范式$C_1\bigwedge C_2\bigwedge \cdots \bigwedge C_n$，各个$C_i$构成子句集 S = { C 1 , C 2 , ⋯   , C n } S = \{C_1,C_2,\cdots,C_n\} S={C1​,C2​,⋯,Cn​}
• 对S中的子句作归结
• 直至归结出矛盾式