第01篇 命题逻辑.ppt

离散数学 参考书 耿素云 高等教育出版社 李盘林 高等教育出版社（面向21 世纪教材） 徐秋亮 山东大学出版社 第一章 命题逻辑 1.1 命题及其表示方法 1.2 联结词 1.3 命题公式与翻译 1.4 真值表与等价式 1.5 重言式与蕴含式 1.6 其他联结词 1.7 对偶与范式 1.8 推理理论 1-1 命题及其表示方法 1-2 联结词 1-3 命题公式与翻译 1-4 真值表与等价式 1-5 重言式与蕴含式 1-6 其他联结词 1-7 对偶与范式 1-8 推理理论 本章总结 P→Q?┐P∨Q T T F T P→Q F F T F F T T T Q P ?(┐P∧┐Q)∨(┐P∧Q)∨(P∧Q) ?(┐P∧(┐Q∨Q)) ∨(Q∧(┐P∨P)) ?((┐P∧┐Q)∨(┐P∧Q)) ∨((┐P∧Q)∨(P∧Q)) ?m00∨m01∨m11 注意：任意含n个命题变元的非永假命题公式，其主析取范式是唯一的。 主析取范式唯一性说明，如果公式的主析取范式相同，则证明两个公式的等价。 (1)? 大项的概念 2、主合取范式 定义1-7.6：在含有n个命题变元的析取式中，若每个命题变元与其否定不同时存在，但二者之一必须出现一次且仅一次，则称该析取式为大项。 例：P∨Q，┐P∨Q，P∨┐Q，┐P∨┐Q n个变元可有多少大项？ 下标表示法：命题变元按字典顺序排列，命题变元对应0，变元的否定对应1。对大项依二进制编码（或用十进制编码）。 例：P∨Q ┐P∨Q P∨┐Q ┐P∨┐Q M00(M0) M10(M2) M01(M1) M11(M3) a、每一大项当其真值指派与编码相同时，其值为F； (2)大项的性质 b、任意两个大项析取为真； c、全体大项的合取值永为假。 定义1-7.7：在给定公式的合取范式中，其析取式都是大项，则称该范式为主合取范式。 (3)主合取范式的定义 注意：任意含n个命题变元的非永真命题公式A都存在与其等价的主合取范式。 (3)主合取范式的求法 F T F T (P→Q)∧Q F F T F F T T T Q P (P→Q)∧Q?(┐P∨Q)∧(P∨Q) a、真值表法 定理1-7.4：在真值表中，一个公式的真值为F的指派所对应的大项的析取，即为此公式的主析取范式。 ?M10∨M00 ?M2∨M0 b、公式法 a)?划为合取范式； b) 删除永真的简单析取式； c) 化简重复出现的变元（幂等律）； d) 补进未出现的变元（同一律）。 例如: ( P→Q)∧Q?(┐P∨Q)∧Q 注意：任意含n个命题变元的非永真命题公式，其主合取范式是唯一的。 ?(┐P∨Q)∧(Q∨(P∧┐P)) ?(┐P∨Q)∧(P∨Q)∧(┐P∨Q) ?(┐P∨Q)∧(P∨Q) ?M2∧M0 3、主析取范式与主合取范式之间的关系 例如：(P→Q)∧Q ? m1∨m3, 由主析取范式求主合取范式: a)求出主析取范式中没有的小项； b)对a中的小项，换成大项； c)写出b大项的合取，即为该式的主合取范式。 则(P→Q)∧Q ? M0∧M2 (1)用以判定公式类型 4、主范式的应用 设A为含n个变元的主范式： a、若A?T，或可化为与其等价的含2n个小项的主析取范式，则A为永真式。 b、若A?F，或可化为与其等价的含2n个大项的主合取范式，则A为永假式。 c、若A不与F等价，且又不含2n个大项，则A为可满足式。 例：判断下列公式为何类公式(P→Q)∧Q？ (2)证明等价式成立 (P→Q)∧Q?M0∧M2?m1∨m3； 大小项数目均不到4，故为可满足式。 分别求出两个给定公式的主范式，若范式相同，则给定的两公式等价。 范式 范式分析取范式和合取范式 主析取范式和主合取范式 小项和大项 m M T T m11（m3） M11（M3） T F m10（m2） M10（M2） F T m01（m1） M01（M1） F F m00（m0） M00（M0） 在逻辑学中，把从前提出发，依据公认的推理规则，推导出一个结论，这一过程称为有效推理或形式证明。所得的结论叫有效结论。 在数理逻辑中，集中研究的是