「范式」数理逻辑—范式

范式

简单析取式与简单合取式

定义：

仅由有限个命题变项或其否定构成的析取式称为简单析取式。仅由有限个命题变项或其否定构成的合取式称为简单合取式。

例如：

$p p$ p、 $\neg p \lnot p$ ¬p、 $p \lor q p\lor q$ p∨q、 $p \lor \neg q p\lor\lnot q$ p∨¬q、 $\neg p \lor q \lor r \lnot p\lor q\lor r$ ¬p∨q∨r等都是简单析取式；

$p p$ p、 $\neg p \lnot p$ ¬p、 $p \land q p\land q$ p∧q、 $p \land \neg q p\land\lnot q$ p∧¬q、 $\neg p \land q \land r \lnot p\land q\land r$ ¬p∧q∧r等都是简单合取式。

由以上定义可以得到两点结论：

一个简单析取式是重言式，当且仅当它同时含有一个命题变项及其否定；
一个简单合取式是矛盾式，当且仅当它同时含有一个命题变项及其否定。

例如：

简单析取式 $p \lor \neg q \lor q p\lor \lnot q\lor q$ p∨¬q∨q是重言式；简单合取式 $p \land \neg q \land q p\land\lnot q\land q$ p∧¬q∧q是矛盾式。

析取范式与合取范式

定义：

仅由有限个简单合取式构成的析取式称为析取范式；仅由有限个简单析取式构成的合取式称为合取范式。

例如：

$p \lor q \lor \neg r p\lor q\lor\lnot r$ p∨q∨¬r、 $\neg p \lor \neg q \lor r \lnot p\lor\lnot q\lor r$ ¬p∨¬q∨r、 $(p_{1} \land \neg q_{1}) \lor (\neg p_{1} \land p_{2}) \lor (p_{1} \land p_{2} \land p_{3}) (p_1\land\lnot q_1)\lor(\lnot p_1\land p_2)\lor(p_1\land p_2\land p_3)$ (p1∧¬q1)∨(¬p1∧p2)∨(p1∧p2∧p3)是析取范式；

$p \land q \land \neg r p\land q\land\lnot r$ p∧q∧¬r、 $\neg p \land \neg q \land r \lnot p\land\lnot q\land r$ ¬p∧¬q∧r、 $(p_{1} \lor \neg q_{1}) \land (\neg p_{1} \lor p_{2}) \land (p_{1} \lor p_{2} \lor p_{3}) (p_1\lor\lnot q_1)\land(\lnot p_1\lor p_2)\land(p_1\lor p_2\lor p_3)$ (p1∨¬q1)∧(¬p1∨p2)∧(p1∨p2∨p3)是合取范式；

由以上定义可以得到两点结论：

一个析取范式是矛盾式，当且仅当它的每个简单合取式都是矛盾式；
一个合取范式是重言式，当且仅当它的每个简单析取式都是重言式。

范式存在定理与范式求解

范式存在定理：

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

根据范式存在定理，可知任一命题公式都能通过等值演算求出与之等值的析取范式与合取范式。步骤如下：

消去 $\to \to$ →和 $\leftrightarrow \leftrightarrow$ ↔：
$p \to q ⟺ \neg p \lor q p\to q \iff\lnot p\lor q$ p→q⟺¬p∨q
$p \leftrightarrow q ⟺ (\neg p \lor q) \land (p \lor \neg q) p\leftrightarrow q \iff (\lnot p\lor q)\land(p\lor \lnot q)$ p↔q⟺(¬p∨q)∧(p∨¬q)
否定号的消去或内移：
$\neg \neg p ⟺ q \lnot\lnot p\iff q$ ¬¬p⟺q
$\neg (p \land q) ⟺ \neg p \lor \neg q \lnot(p\land q)\iff\lnot p\lor\lnot q$ ¬(p∧q)⟺¬p∨¬q
$\neg (p \lor q) ⟺ \neg p \land \neg q \lnot(p\lor q)\iff\lnot p\land \lnot q$ ¬(p∨q)⟺¬p∧¬q
使用分配率。对析取范式应使用 $\land \land$ ∧对 $\lor \lor$ ∨的分配率；对合取范式应使用 $\lor \lor$ ∨对 $\land \land$ ∧的分配率。

举例：求 $((p \lor q) \to r) \to p ((p\lor q)\to r)\to p$ ((p∨q)→r)→p的合取范式和析取范式

解： $\begin{matrix} ((p \lor q) \to r) \to p & = \neg (\neg (p \lor q) \lor r) \lor p & (消去 \to) \\ = ((\neg \neg p \lor \neg \neg q) \land \neg r) \lor p & (\neg 内移) \\ = ((p \lor q) \land \neg r) \lor p & (\neg 消去) \\ = (p \lor q) \land (\neg r \lor p) & (\lor 对 \land 分配率，得合取范式) \\ = (p \land \neg r) \lor (q \land \neg r) \lor p & (\land 对 \lor 分配率，得析取范式) \end{matrix} \begin{aligned}
((p\lor q)\to r)\to p& = \lnot(\lnot(p\lor q)\lor r)\lor p & \text{(消去$\to$)}\\
& = ((\lnot\lnot p\lor\lnot\lnot q)\land \lnot r)\lor p& \text{($\lnot$内移)}\\
& = ((p\lor q)\land \lnot r)\lor p & \text{($\lnot$消去)}\\
& = (p\lor q)\land(\lnot r\lor p) & \text{($\lor$对$\land$分配率，得合取范式)}\\
& = (p\land\lnot r)\lor(q\land\lnot r)\lor p & \text{($\land$对$\lor$分配率，得析取范式)}
\end{aligned}$ ((p∨q)→r)→p=¬(¬(p∨q)∨r)∨p=((¬¬p∨¬¬q)∧¬r)∨p=((p∨q)∧¬r)∨p=(p∨q)∧(¬r∨p)=(p∧¬r)∨(q∧¬r)∨p(消去→)(¬内移)(¬消去)(∨对∧分配率，得合取范式)(∧对∨分配率，得析取范式)

主析取范式与主合取范式

定义：

如果公式 $A A$ A的析取范式中的简单合取式全是极小项，则称该析取范式为主析取范式；如果公式 $A A$ A的合取范式中的简单析取式全是极大项，则称该合取范式为主合取范式。

极小项与极大项

极小项定义：

在有 $n n$ n个命题变项的简单合取式中，若每个命题变项及其否定有且仅有其中一个出现一次，则称这样的简单合取式为极小项。

通常极小项的命题变项用1表示，命题变项的否定用0表示，这就组成了一段二进制码，按二进制码的大小进行排序后用小写字母 $m (m i n i m u m) m(Mini mum)$ m(minimum)加从0开始递增的脚标命名，例: $m_{0} m_0$ m0、 $m_{1} m_1$ m1。

例如：2个命题变项 $p p$ p、 $q q$ q可形成4个极小项；3个命题变项 $r r$ r、 $s s$ s、 $t t$ t可形成8个极小项

极小项	二进制码	命名	极小项	二进制码	命名
$\neg p \land \neg q \lnot p \land \lnot q$ ¬p∧¬q	00	$m_{0} m_0$ m0	$\neg r \land \neg s \land \neg t \lnot r\land \lnot s\land \lnot t$ ¬r∧¬s∧¬t	000	$m_{0} m_0$ m0
$\neg p \land q \lnot p\land q$ ¬p∧q	01	$m_{1} m_1$ m1	$\neg r \land \neg s \land t \lnot r\land \lnot s\land t$ ¬r∧¬s∧t	001	$m_{1} m_1$ m1
$p \land \neg q p \land \lnot q$ p∧¬q	10	$m_{2} m_2$ m2	$\neg r \land s \land \neg t \lnot r\land s\land \lnot t$ ¬r∧s∧¬t	010	$m_{2} m_2$ m2
$p \land q p\land q$ p∧q	11	$m_{3} m_3$ m3	$\neg r \land s \land t \lnot r\land s\land t$ ¬r∧s∧t	011	$m_{3} m_3$ m3
			$r \land \neg s \land \neg t r\land \lnot s\land \lnot t$ r∧¬s∧¬t	100	$m_{4} m_4$ m4
			$r \land \neg s \land t r\land \lnot s\land t$ r∧¬s∧t	101	$m_{5} m_5$ m5
			$r \land s \land \neg t r\land s\land \lnot t$ r∧s∧¬t	110	$m_{6} m_6$ m6
			$r \land s \land t r\land s\land t$ r∧s∧t	111	$m_{7} m_7$ m7

极大项定义：

在有 $n n$ n个命题变项的简单析取式中，若每个命题变项及其否定有且仅有其中一个出现一次，则称这样的简单析取式为极大项。

通常极大项的命题变项用0表示，命题变项的否定用1表示，这就组成了一段二进制码，按二进制码的大小进行排序后用大写字母 $m (m a x i m u m) m(maximum)$ m(maximum)加从0开始递增的脚标命名，例: $M_{0} M_0$ M0、 $M_{1} M_1$ M1。

例如：2个命题变项 $p p$ p、 $q q$ q可形成4个极大项；3个命题变项 $r r$ r、 $s s$ s、 $t t$ t可形成8个极大项

极小项	二进制码	命名	极小项	二进制码	命名
$p \land q p \land q$ p∧q	00	$M_{0} M_0$ M0	$r \land s \land t r\land s\land t$ r∧s∧t	000	$M_{0} M_0$ M0
$p \land \neg q p\land \lnot q$ p∧¬q	01	$M_{1} M_1$ M1	$r \land s \land \neg t r\land s\land \lnot t$ r∧s∧¬t	001	$M_{1} M_1$ M1
$\neg p \land q \lnot p \land q$ ¬p∧q	10	$M_{2} M_2$ M2	$r \land \neg s \land t r\land \lnot s\land t$ r∧¬s∧t	010	$M_{2} M_2$ M2
$\neg p \land \neg q \lnot p\land\lnot q$ ¬p∧¬q	11	$M_{3} M_3$ M3	$r \land \neg s \land \neg t r\land \lnot s\land\lnot t$ r∧¬s∧¬t	011	$M_{3} M_3$ M3
			$\neg r \land s \land t \lnot r\land s\land t$ ¬r∧s∧t	100	$M_{4} M_4$ M4
			$\neg r \land s \land \neg t \lnot r\land s\land \lnot t$ ¬r∧s∧¬t	101	$M_{5} M_5$ M5
			$\neg r \land \neg s \land t \lnot r\land \lnot s\land t$ ¬r∧¬s∧t	110	$M_{6} M_6$ M6
			$\neg r \land \neg s \land \neg t \lnot r\land \lnot s\land \lnot t$ ¬r∧¬s∧¬t	111	$M_{7} M_7$ M7

主范式存在定理：

任何命题公式都有唯一的主析取范式或主合取范式。

求解主范式的步骤：

求出析取范式或合取范式
扩展命题变项，将简单合取式(简单析取式)扩展为极小项(极大项)形式
合并重复项
求余项，求出主析取范式后余下的项就是主合取范式的组成项，求出主合取范式后余下的项就是主析取范式的组成项

例如：求 $((p \lor q) \to r) \to p ((p\lor q)\to r)\to p$ ((p∨q)→r)→p的主析取范式与主合取范式主范式

解： $\begin{matrix} ((p \lor q) \to r) \to p & = (p \land \neg r) \lor (q \land \neg r) \lor p & 求出析取范式 \\ = (p \land (\neg q \lor q) \land \neg r) \lor ((\neg p \lor p) \land q \land \neg r) \lor (p \land (\neg q \lor q) \land (\neg r \lor r)) \\ = (p \land \neg q \land \neg r) \lor (p \land q \land \neg r) \lor (\neg p \land q \land \neg r) \lor (p \land q \land \neg r) \lor \\ (p \land \neg q \land \neg r) \lor (p \land \neg q \land r) \lor (p \land q \land \neg r) \lor (p \land q \land r) & 扩展命题变项 \\ = m_{4} \lor m_{6} \lor m_{2} \lor m_{6} \lor m_{4} \lor m_{5} \lor m_{6} \lor m_{7} \\ = m_{2} \lor m_{4} \lor m_{5} \lor m_{6} \lor m_{7} & 合并重复项，得出主析取范式 \\ = M_{0} \land M_{1} \land M_{3} & 求余项，得出主合取范式 \end{matrix} \begin{aligned}
((p\lor q)\to r)\to p
& = (p\land\lnot r)\lor(q\land\lnot r)\lor p & \text{求出析取范式}\\
& = (p\land(\lnot q \lor q)\land\lnot r)\lor((\lnot p \lor p)\land q\land\lnot r)\lor (p\land (\lnot q \lor q)\land (\lnot r \lor r))\\
& = (p\land\lnot q\land\lnot r)\lor(p\land q\land\lnot r)\lor(\lnot p \land q\land\lnot r)\lor(p \land q\land\lnot r)\lor\\&(p\land \lnot q\land \lnot r)\lor(p\land \lnot q\land r)\lor(p\land q\land \lnot r)\lor(p\land q\land r)& \text{扩展命题变项}\\
& = m_4\lor m_6\lor m_2\lor m_6\lor m_4\lor m_5\lor m_6\lor m_7\\
& = m_2\lor m_4\lor m_5\lor m_6\lor m_7& \text{合并重复项，得出主析取范式}\\
& = M_0\land M_1\land M_3& \text{求余项，得出主合取范式}\\
\end{aligned}$ ((p∨q)→r)→p=(p∧¬r)∨(q∧¬r)∨p=(p∧(¬q∨q)∧¬r)∨((¬p∨p)∧q∧¬r)∨(p∧(¬q∨q)∧(¬r∨r))=(p∧¬q∧¬r)∨(p∧q∧¬r)∨(¬p∧q∧¬r)∨(p∧q∧¬r)∨(p∧¬q∧¬r)∨(p∧¬q∧r)∨(p∧q∧¬r)∨(p∧q∧r)=m4∨m6∨m2∨m6∨m4∨m5∨m6∨m7=m2∨m4∨m5∨m6∨m7=M0∧M1∧M3求出析取范式扩展命题变项合并重复项，得出主析取范式求余项，得出主合取范式

数理逻辑—范式

范式

简单析取式与简单合取式

析取范式与合取范式

范式存在定理与范式求解

主析取范式与主合取范式

极小项与极大项

相关阅读

栏目导航

推荐阅读

热门阅读