离散数学第三章（知识点总结）续

1.命题变元或命题变元的否定称为文字 P,┓P,Q,┓Q,...

  有限个文字的析取称为简单析取式或子句 P∨Q∨┓R,.... P,┓P

  有限个文字的合取称为简单合取式或短语 ┓P∧Q∧R,....P,┓P

2.范式

 

析取范式、合取范式仅含联结词集{┓,∧,∨},且否定联结词仅出现在命题变元之前

3.范式存在定理

 命题公式的析取范式可以指出公式何时为真，而合取范式可以指出公式何时为假，从而能够替代真值表

4.极小项和极大项

 极小值

 

极大值

 极小项和极大项的性质

 5.主析取范式和主合取范式

在给定的析取范式中，若每一个短语都是极小项，且按照编码从小到大的顺序排列，则称该范式为主析取范式；

在给定的合取范式中，若每一个字句都是极大项，且按照编码从小到大的顺序排列，则称该范式为主合取范式；

如果一个主析取范式不包括任何极小项，则称该主析取范式为“空”；如果一个主合取范式不包含任何极大项，则称主合取范式为“空”

6.主范式求解定理

 7.真值表技术

 8.范式的相互转化

 9.主范式的应用

主范式可用于了解公式的真值情况，进行公式类型的判定以及等价关系的判定

如果主析取范式包含所有的极小项，则该公式为永真公式

如果主合取范式包含所有的极大项，则该公式为永假公式

若两个公式具有相同的主析取范式或主合取范式，则两公式等价

10.推理

11.推理的判定定理

 12.推理定律-基本蕴涵关系

 13.推理规则

 14.直接证明法

 15.规则CP证明法

 16.间接证明法（反证法、归谬法）：结论包含的信息非常丰富，结论非常长