离散数学第1章第5节 析取合取范式和推理理论.pptVIP

第一章 命题逻辑第6、7讲 五、小结 本节主要内容 对偶式 在给定的命题公式中，将联结词∨换成∧，将∧换成 ∨，若有特殊变元F和T亦相互取代，所得公式A*称作A的对偶式。 合取范式 一个命题公式称为合取范式，当且仅当它具有形式： A1 ∧ A2 ∧ … ∧ An， （n≥1） 其中A1，A2，…An都是由命题变元或其否定所组成的析取式。 析取范式 一个命题公式称为析取范式，当且仅当它具有形式： A1 ∨ A2 ∨ … ∨ An， （n≥1） 其中A1，A2，…An都是由命题变元或其否定所组成的合取式。 小项 n个命题变元的合取式，称作布尔合取或小项，其中每个变元与它的否定不能同时存在，但两者必须出现且仅出现一次。 大项 n个命题变元的析取式，称作布尔析取或大项，其中每个变元与它的否定不能同时存在，但两者必须出现且仅出现一次。 小项性质： （1）每一个小项当其真值指派与编码相同时，其真值为T，在其余2n-1种指派情况下均为F。 （2）任意两个不同小项的合取式永为F。 （3）全体小项的析取式永为T。 大项性质： （1）每一个大项当其真值指派与编码相同时，其真值为F，在其余2n-1种指派情况下均为T。 （2）任意两个不同大项的析取式为永T。 （3）全体大项的合取式必为永为F。 主析取范式 对于给定的命题公式，如果有一个等价公式，它仅由小项的析取所组成，则该等价式称作原式的主析取范式。 主合取范式 对于给定的命题公式，如果有一个等价公式，它仅由大项的合取所组成，则该等价式称作原式的主合取范式。 上次课内容回顾 析取范式 10、求一个命题公式的主合取范式的方法 （1） 真值表法 定理1-7.4 在真值表中,一个公式的真值为F的指派所对应的大项的合取,即为此公式的主合取范式。 由基本等价公式推出一个命题公式的主合取范式的推演步骤如下： 例题11 化 (P∧Q ) ∨ (┐P∧R) 为主合取范式。 11、主析取范式与主合取范式之间的关系 由于主范式是由小项或大项构成，从小项和大项的定义，可知两者有下列关系： 因此，主析取范式和主合取范式有着“互补”关系，即是由给定公式的主析取范式可以求出其主合取范式。 为了使主析取范式和主合取范式表达简洁，今后用∑表示小项的析取,用∏表示大项的合取， 由这样的约定，例题10可以表达为： 主析取范式: (P ∧Q ) ∨(┐P ∧R ) ? (P ∧ Q ∧ R ) ∨ (P ∧ Q ∧ ┐R) ∨ (┐P ∧ Q ∧ R) ∨ (┐P ∧┐ Q ∧ R) m001∨m011∨m110∨m111=∑ 1，3，6，7 主合取范式: (P ∧Q ) ∨(┐P ∧R ) ?(┐P ∨ Q ∨┐R ) ∧ (┐P ∨ Q ∨R) ∧ (P ∨┐Q ∨R) ∧ (P∨ Q∨R) M000∧M010 ∧M100 ∧M101=∏ 0，2，4，5 (P ∧Q ) ∨(┐P ∧R )的主析取范式: m001∨m011∨m110∨m111=∑ 1，3，6，7 (P ∧Q ) ∨(┐P ∧R )的主合取范式: M000∧M010 ∧M100 ∧M101=∏ 0，2，4，5 如果命题P的主析取范式为： ∑i1，i2，…，ik 则P的主合取范式为： ∏ 0,1,2,…,i1-1, i1+1, …, ik-1, ik+1, …,2n-1 作业 P39: 2, 3, 4.a)c) 第一章 第5讲 §1—8 推理理论 在数学和其它自然科学中，经常要考虑从某些前提A1，A2，…，An能够推导出什么结论。 例如： 从分子学说，原子学说，能够得到什么结论； 从光的波动学说，能得到什么结论。 我们一般地要对“假设”的内容作深入分析，并推究其间的关系，从而得到结论。 但也有一些推理，只需分析假设中的真值和联结词，便可获得结论。 在数理逻辑中，集中注意的是研究和提供用来从前提导出结论的推理规则和论证原理，这些规则有关的理论称为推理理论。 在实际应用的推理中，我们常常把本门学科的一些定律、定理和条件，作为假设前提，尽管这些前提在数理逻辑中实非永真，但在推理过程中，却总是假设这些命题为T，并使用一些公认的规则，得到另外的命题，形成结论，这种过程就是论证。 注意，必须把推理的有效性和结论的真实性区别开。 一、有效结论 1. 定义