第三章_命题逻辑推理理论.pptVIP

第三章 命题逻辑的推理理论 上一节的复习范式的定义 定义2.3 （1）由有限个简单合取式构成的析取式称为析取范式。 （2）由有限个简单析取式构成的合取式称为合取范式。 （3）析取范式与合取范式统称为范式。 上一节的复习求范式的步骤（用等值演算） 消去联结词→, ? 蕴涵等值式: A→B ┐A∨B 等价等值式: A ? B (A→B)∧(B→A) 否定号的消去（利用双重否定律） ┐┐A A 内移否定号（利用德摩根律） ┐(A∨B) ┐A∧┐B ┐(A∧B) ┐A∨┐B 利用∧对∨的分配律求析取范式，∨对∧的分配律求合取范式。 上一节的复习（续） 定义2.5（主范式） 设由n个命题变项构成的析取范式（合取范式）中所有的简单合取式（简单析取式）都是极小项（极大项），则称该析取范式（合取范式）为主析取范式（主合取范式）。 上一节的复习（续） 求主范式的步骤 （存在性证明过程） (1) 补充命题变项； (2) 消去重复出现的极小（大）项和矛盾式（重言式）。 引言 “命题”的形式 前两章介绍了“命题”的形式。 “推理”的形式 本章介绍“推理”的形式。 推理是逻辑的研究对象。 3.1. 推理的形式结构