4-命题逻辑-3.pptVIP

范式 范式就是规范的形式 命题公式的范式就是命题公式的规范形式 范式的分类 析取范式 合取范式 进一步规范，会得到 主析取范式 主合取范式 简单析取式和简单合取式 仅有有限个命题变元或其否定的析取构成的析取式称为简单析取式。 仅有有限个命题变元或其否定的合取构成的合取式称为简单合取式。 例如： ?P?Q?R，?P??Q?P是简单析取式 ?P?R，Q?R??Q是简单合取式 P，?Q只包含一个变元，既是简单析取式也是简单合取式 ?P ? (Q?R)，(P?Q)??R不是简单析取式 范式 由有限个简单合取式的析取构成的析取式称为析取范式。 由有限个简单析取式的合取构成的合取式称为合取范式。 范式----例 P?(P?Q)?(?P??Q??R)是析取范式 (P?Q)??Q?(Q??R?S)是合取范式 P?Q?R是析取范式,是三个简单合取范式的析取， 同时也是合取范式,是一个简单析取范式的合取 (P?Q)?(?P?(Q?R))不是析取范式， 因为?P?(Q?R)不是简单合取式 含有双重刮号的公式，肯定不是范式。 (P?Q)?(Q?R)不是合取范式， 因为含有?，范式中的联结词只能包含?、?、? 范式的存在性 定理：任意一个命题公式均存在一个与之等值的析取范式和合取范式 用构造法证明，证明过程也就说明了如何求得公式的范式 范式的求法 证明： 第一步：将公式中出现的→，?等联结词转换为∨，∧，? 所用公式为 ⑴ P→Q??P∨Q ⑵ P?Q?(?P∨Q)∧(P∨?Q) ?(P∧Q)∨(?P∧?Q) 第二步：用摩根律将否定联结词?一直移到命题变元之前， 然后把? ? P转化为P 第三步：用分配律、结合律化为析取范式或合取范式 范式的求法----例题 求P?(P∧Q)的析取范式 P?(P∧Q)?(P→(P∧Q))∧((P∧Q)→P) ?(?P∨(P∧Q))∧(?(P∧Q)∨P) ?(?P∨(P∧Q))∧((?P∨?Q)∨P) ?(?P∨(P∧Q))∧T ??P∨(P∧Q) P?(P∧Q)?(?P∧?(P∧Q))∨(P∧(P∧Q)) ?(?P∧(?P∨?Q))∨(P∧P∧Q) ?(?P∧?P)∨(?P∧?Q)∨(P∧Q) ??P∨(?P∧?Q)∨(P∧Q) 析取范式不唯一，但一个公式的不同析取范式是等价的 范式的求法----例题 求P∧(P→Q)的合取范式 P∧(P→Q)?P∧(?P∨Q) 合取范式 ?(P∧?P)∨(P∧Q) 析取范式 ?P∧Q 合取范式，析取范式 ?(P∨P)∧(P∨Q)∧(?P∨P)∧(?P∨Q) 合取范式 合取范式不唯一，但一个公式的不同合取范式是等价的 范式的求法----例题 例：求公式((P∨Q)→R)→P的析取范式和合取范式 解: ((P∨Q)→R)→P??(?(P∨Q)∨R)∨P ?((P∨Q)∧?R)∨P ?(P∧?R)∨(Q∧?R)∨P 析取范式 ?(P∨(P∧?R))∨(Q∧?R) ?P∨(Q∧?R) 析取范式 原式? ((P∨Q) ∧?R) ∨P ?(P∨Q∨P) ∧(?R∨P) 合取范式 ?(P∨Q) ∧(P∨?R) 合取范式 主范式 一个公式的析取范式与合取范式不唯一 要使任一命题公式化为唯一的等值的命题标准形式，就要用到主析取范式与主合取范式的概念 主析取范式和主合取范式的要求更严格一些 小项（布尔合取、布尔积） 定义 n个命题变元的合取式称为布尔合取或小项，其中每个变元与他的否定不能同时存在，但两者必须出现且仅出现一次 例 两个变元P、Q的小项共有四个： P∧Q，P∧?Q，?P