第一节 命题及联结词,第二节 命题公式,第三节 公式分类与等价公式,第 15 章 数 理 逻 辑,第四节 对偶式与蕴涵式,第五节 公式标准型范式,第六节 命题逻辑的推理理论,第四节 对偶式与蕴涵式,一. 对偶式,本节主要内容:,二. 蕴涵式,一. 对偶式,二.蕴涵式,蕴涵式证明方法：,(1)真值表法:,(2) 另外两种方法：, 前件真导后件真方法,设公式的前件为真，若能推导出后件也为真， 则条件式是永真式，故蕴涵式成立。, 后件假导前件假方法,设条件式后件为假，若能推导出前件也为假， 则条件式是永真式，即蕴涵式成立。,
