离散数学思维导图第一章

重言式

矛盾式可满足式非重言式的可满足式直接应用规则推理附加前提证明法

归谬法命题

命题变项和命题常项

简单命题（原子命题）、复合命题

联接词：否定、合取、析取、异或、蕴含、等价、与非、或非

什么是命题公式？

分类

真值表简单合取式、简单析取式

合取范式和析取范式

极小项和极大项

用途：

联接词可以等价替换

联接词全功能集

联接词的极小全功能集构造证明法真值表法

主合取范式和主析取范式

命题符号化及联接词命题公式及分类等值演算范式联接词及其全功能集推理理论第一章：命题逻辑