第四节公式恒真性的判定 恒真公式在数理逻辑中占有重要地位判断 公式是否恒真有两种方氵 1真值表法给定一个公式,只要写出这个公 式的真值表,观察一下该真值表的最后 列的值是否全为1即可做出判断 2逻铒推理法个公式是恒真的且仅美在 包含一个命题变元及其该命题变元的否定 盒个雷层偶的县仅在段里克建实 定 返回本章首页 5 2021/1/212021/1/21 5 第四节 公式恒真性的判定 ⚫ 恒真公式在数理逻辑中占有重要地位, 判断 一个公式是否恒真有两种方法: 1.真值表法:给定一个公式，只要写出这个公 式的真值表，观察一下该真值表的最后一 列的值是否全为1即可做出判断； 2.逻辑推理法:一个公式是恒真的当且仅当在 与它等价的合取范式中，每个子句均至少 包含一个命题变元及其该命题变元的否定. 一个公式是恒假的当且仅当在的析取范式中， 每个短语均至少包含一个命题变元及其否 定. 返回本章首页