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

离散数学

DiscreteMathematics;五、小结本节主要内容

对偶式在给定的命题公式中，将联结词∨换成∧，将∧换成∨，假设有特殊变元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;作业;第一章

第5讲§1—8推理理论;在数理逻辑中，集中注意的是研究和提供用来从前提导出结论的推理规那么和论证原理，这些规那么有关的理论称为推理理论。

在实际应用的推理中，我们常常把本门学科的一些定律、定理和条件，作为假设前提，尽管这些前提在数理逻辑中实非永真，但在推理过程中，却总是假设这些命题为T，并使用一些公认的规那么，得到另外的命题，形成结论，这种过程就是论证。

注意，必须把推理的有效性和结论的真实性区别开。;一、有效结论

1.定义

定义1-8.1设A和C是两个命题公式，当且仅当A→C为一重言式，即A?C，称C是A的有效结论。或C可由A逻辑地推出。;二、证明方法;二、证明方法;1.真值表法;例题1一份统计表格的错误或者是由于材料不可靠，或者是由于计算有错误；这份统计表格的错误不是由于材料不可靠，所以这份统计表格是由于计算有错误。;