【离散数学】第二章 命题逻辑的推理理论

2.0学习目标

最重点：

• 主析取范式和主合取范式 （计算题）
• 命题推理有效证明（综合应用题）

一般重点：

• 小项、性质及编码
• 大项、性质及编码

非重点：

• 范式的数学思想
• 范式的性质

2.1范式

1.析取范式与合取范式

【简单析取式】：由一些命题变元或其否定构成的析取式
例如：¬p∨q, p∨¬q, p∨q,¬p,¬q都是简单析取式

【简单合取式】：由一些命题变元或其否定构成的合取式
例如：¬p∧q, p∧¬q, p∧q,¬p,¬q都是简单合取式

【合取范式】：由简单析取式的合取构成的公式
例如：A1∧A2∧A3∧A4…

【析取范式】：由简单合取式的析取构成的公式
例如：A1∨A2∨A3∨A4…

【例题】求命题公式(p∨q)↔p的析取范式和合取范式

• (p∨q)↔p
  ⇔ [¬(p∨q)∨p]∧[¬p∨(p∨q)] (1.消除→,↔)
  ⇔ [(¬p∧¬q)∨p]∧[¬p∨p∨q]（2.¬取到括号内）
  ⇔ [(¬p∨p)∧(¬q∨p)]∧[¬p∨p∨q]（分配律）
  ⇔ 1∧(¬q∨p)∧(1∨q)（排中律）
  ⇔ 1∧(¬q∨p)∧1（零律）（合取范式）
  ⇔ ¬q∨p（同一律）（析取范式）
  ⇔ （¬q∨p）（合取范式）

2.2主范式

一、小项

【小项或极小项】在简单的合取式中，每个变元及其否定不同时存在，两者之一必须出现且仅出现一次，叫布尔合取，也叫小项或极小项

• 两个命题变元p、q所构成的所有小项为： ¬p∧q, p∧¬q, p∧q,¬p∧¬q
• 三个命题变元（2³=）8个小项
• 一般来说n个命题变元共有2ⁿ 个小项

三个命题变元所构成的小项及其编码：小项：肯定：1，否定0

• m₀=m₀₀₀=¬P∧¬Q∧¬R
• m₁=m₀₀₁=¬P∧¬Q∧R
• m₂=m₀₁₀=¬P∧Q∧¬R
• m₃=m₀₁₁=¬P∧Q∧R
• m₄=m₁₀₀=P∧¬Q∧¬R
• m₅=m₁₀₁=P∧¬Q∧R
• m₆=m₁₁₀=P∧Q∧¬R
• m₇=m₁₁₁=P∧Q∧R

【小项性质 】

• 每个小项当其真值指派与编码相同时，其真值为T,其余情况都为F
• 任意两个不同小项的合取式永假（p∧¬p）
• 全体小项的析取式永真

【主析取范式】对于给定的命题公式，如果有一个他的等价公式，仅由小项的析取组成，该公式称为原公式的主析取范式，可以证明：任何命题公式都存在着与之等价的主析取范式

构造命题公式的主析取范式有如下两种办法：

• 真值表法
• 等价演算法

1.真值表法

【真值表法】即用真值表法求主析取范式