[离散数学]命题逻辑P_7：范式

最新推荐文章于 2024-03-23 18:58:53 发布

H3T

最新推荐文章于 2024-03-23 18:58:53 发布

阅读量683

点赞数 3

分类专栏： # 第二讲：命题逻辑文章标签：算法

本文链接：https://blog.csdn.net/m0_58991879/article/details/127164847

版权

第二讲：命题逻辑专栏收录该内容

7 篇文章 2 订阅

订阅专栏

[离散数学]命题逻辑P_7：范式

前言
1. 范式定义
2. 范式求解
总结

前言

第七讲：范式

数理逻辑，就是用数学的方法研究逻辑推理的规律。

命题公式( $p ro p os i t i o na l f or m u l a$ )亦称合式公式，是数理逻辑术语，它是按照一定规律形成的符号序列，在命题演算中，公式通常用归纳定义给出。

范式从本质上讲是一种理论体系、理论框架。在该体系框架之内的该范式的理论、法则、定律都被人们普遍接受。开展科学研究、建立科学体系、运用科学思想的坐标、参照系与基本方式，科学体系的基本模式、基本结构与基本功能。

从而，我们希望能够找到一种公式的标准形式，这种形式能够让我们更容易地研究公式的真值情况，即范式。

本文范式是命题逻辑的第七部分。

1. 范式定义

基本术语

引入范式：
真值表能够方便的给出命题公式的真值情况，但真值表的规模随命题变元的数量呈指数形式增长，因而我们考虑一种真值表的替代方法，这种方法是基于命题公式的一种标准形式。

命题变元或命题变元的否定称为文字。 $P,\lnot P,Q,\lnot Q,…$
有限个文字的析取称为简单析取式(或子句)。 $\lor Q \lor \lnot R,…$ $P,\lnot P$
有限个文字的合取称为简单合取式(或短语)。 $\lnot P \land Q \land R,…$ $P,\lnot P$
$P$ 和 $\lnot P$ 称为互补对。

有限个包含一个，因此一个文字也可以称为字句或者短语

范式定义

有限个简单 合取式（短语）的 析取式 称为析取范式(disjunctive normal form)；
如 $(P\land Q)\lor (\lnot P \land Q)$ ，又如 $\land \lnot Q$ ， $P,\lnot P$
有限个简单 析取式（短语）的 合取式 称为合取范式(conjunctive normal form)；
如 $(P\lor Q)\land (\lnot P \lor Q)$ ，又如 $\lor \lnot Q$ ， $P,\lnot P$

例子

$P,\lnot P$ 是文字，短语，子句，析取范式，合取范式
$\lor Q \lor \lnot R$ 是子句，合取范式，析取范式； $(P\lor Q \lor \lnot R)$ 是子句，合取范式。
$\lnot P \land Q \land R$ 是短语，析取范式，合取范式； $(\lnot P \land Q \land R)$ 是短语，析取范式。
$P\lor (Q\lor \lnot R)$ 即不是析取范式也不是合取范式，但转换为 $P\lor Q \lor \lnot R$ 后，即是析取范式和合取范式。

加上括号后只能看做整体，不能再拆分开来看。

2. 范式求解

范式存在定理

总结：

范式关注的是命题公式的当前书写形式；
单个的文字是子句、短语、析取范式，合取范式；
析取范式、合取范式仅含联结词集 $\{\lnot ,\land, \lor\}$ ，且否定联结词仅出现在命题变元之前。

定理：
对于任意命题公式，都存在与其等价的析取范式和合取范式。

证明

由于联结词之间可以通过命题公式的基本等价关系进行相互的转换，所以可通过逻辑等价公式求出等价于它的析取范式和合取范式，具体步骤如下：

将公式中的 $\rightarrow ,\leftrightarrow$ 用联结词 $\lnot , \land , \lor$ 来取代：
$E_{20}：G\rightarrow H = \lnot G \lor H,$ （蕴含式）
$E_{22}：G\leftrightarrow H = (G \rightarrow H)\land (H \rightarrow G)=(\lnot G \lor H)\land(\lnot H \lor G)$ （等价式）
将否定联接词移到各个命题变元的前端，并消去多余的否定号：
$E_{17}：\lnot(\lnot G) = G.$ （双重否定律）
$E_{18}：\lnot(G \lor H) = \lnot G\land \lnot H;$ （德摩根律）
$E_{19}：\lnot(G \land H) = \lnot G\lor \lnot H.$
利用分配律，可将公式化成一些合取式的析取，或化成一些析取式的合取：
$E_{11}：G\lor(H\land S)=(G\lor H)\land(G\lor S);$ （分配律）
$E_{12}：G\land(H\lor S)=(G\land H)\lor(G\land S).$

对任意一个公式，经过以上步骤，必能化成与其等价的析取范式和合取范式。

例子

求公式 $(P\rightarrow \lnot Q)\lor (P \leftrightarrow R)$ 的析取范式和合取范式。

解
         $(P\rightarrow \lnot Q)\lor (P \leftrightarrow R)$
=       $(\lnot P\lor \lnot Q)\lor ((\lnot P \lor R)\land (\lnot R \lor P))$
=       $((\lnot P\lor \lnot Q)\lor (\lnot P \lor R))\land ((\lnot P \lor \lnot Q)\lor (\lnot R \lor P))$
=       $(\lnot P\lor \lnot Q\lor \lnot P \lor R)\land (\lnot P \lor \lnot Q\lor \lnot R \lor P)$
=       $((\lnot P\lor \lnot P) \lor\lnot Q \lor R)\land ((\lnot P\lor P) \lor \lnot Q\lor \lnot R )$
=       $(\lnot P \lor\lnot Q \lor R)\land (1 \lor \lnot Q\lor \lnot R )$
=       $(\lnot P \lor\lnot Q \lor R)\land 1$
=       $(\lnot P \lor\lnot Q \lor R)$       ——合取范式
=       $\lnot P \lor\lnot Q \lor R$           ——析取范式

范式与真值

总结：

命题公式的析取范式可以指出公式何时为真，而合取范式可以指出公式何时为假，从而能够替代真值表。( $(\lnot P \lor Q)\land (P \lor \lnot R)$ ， $\lnot P\lor (\lnot Q\land R)$ )

合取中一个为假则为假；
析取中一个为真则为真。

命题公式的范式表达并不唯一，比如对公式 $(P\lor Q)\land (P\lor R)$ 而言，对应的析取范式有很多∶
● $P\lor (Q \land R)$
● $(P\land P) \lor(Q \land R)$
● $P\lor (Q \land \lnot Q) \lor (Q \land R)$
● $P\lor (P \lor R) \lor (Q\land R)$
一般而言，求解范式时，需要进行最后的化简步骤；