本文介绍了如何通过范式方法判断命题公式性质，包括析取范式和合取范式的概念，以及基本积、基本和、极小项和极大项的定义。文章还提供了如何找到主析取和主合取范式的方法，以及它们在命题逻辑中的应用和推论。
引子：
对于一个命题，如何判定命题公式为永真式、永假式和可满足的呢或二个命题公式等价。我们学过二种方法： 1，真值表法：对于变元的所有真值指 派，看对应命题公式的真值。2，命题演算方法：化简命题公式至最简式，看是否存在和 （Ｐ∨¬Ｐ）、（Ｐ∧¬Ｐ）等价，若不则为可满足的，那今天我就来介绍范式方法
定义：什么是范式？
把命题公式化归为一种标准的形式，称此标准形式为范式。
范式分为析取范式和合取范式，设命题变元为：Ｐ、Ｑ、Ｒ，则：（Ｐ∨Ｑ∨Ｒ）的析取式称为“和”；（Ｐ∧Ｑ∧Ｒ）的合取式称为“积”。
什么是基本积与基本和？
命题公式的变元和变元的否定之
最低0.47元/天 解锁文章
扫一扫
969
到【灌水乐园】发言
