数理逻辑简介.pptVIP

第一章命题逻辑 第二节 命题公式及分类 第三节 等值演算 第四节 联结词的全功能集 第五节 对偶与范式 第六节 推理规则 第一章 小结与例题 例5、用真值表求 的主合取范式。 解：(1) 由例3知 真值表， 的 (3) 对应的十进制数为0，1，3。 例5、用真值表求 的主合取范式。 解：(2) 的成假赋值有000，001，011， 所以 的主合取范式： 思考：命题公式 间有什么联系，能否通过其中一个求 另一个？(观察例3，例5) 的主合取范式，主析取范式 由例3、例5知： 2.5、已知命题公式的主析取范式(主合取范式)， 求主合取范式(主析取范式)。 (2) 写出与(1)中极小项角码相同的极大项， 由 的主合取范式步骤： 的主析取范式求 (1) 写出 的主析取范式未出现的极小项， (3) 由以上极大项合取即成 的主合取范式。 例6、(1) 已知命题公式 的主合取范式。( 主析取范式为： 求 含3个命题变项) 解： 的主合取范式为： 例6、(2) 已知命题公式 主合取范式为： 的主析取范式。( 求 含2个命题变项) 解： 的主析取范式为： 3、主范式的用途。 (1) 判断两命题公式是否等值。 (2) 判断命题公式的类型。 重言式 主析取范式含全部的极小项 主合取范式不含任何极大项 (主合取范式记为1) 矛盾式 主析取范式不含任何极