离散数学及其应用第4章-谓词演算与推理(上).ppt

* * 谓词公式的解释与分类 * * 谓词公式的解释与分类 * * 谓词公式的解释与分类 * * 谓词公式的解释与分类 * * 谓词公式的解释与分类 * * 谓词公式的解释与分类 * * 谓词公式的解释与分类 有些谓词公式在有些解释下为真，在另外一些解释下为假； 有些谓词公式则在所有解释下均为真； 还有一些谓词公式在所有解释下均为假。 * * 谓词公式的解释与分类 【定义】 对于任意一个给定的谓词公式G，如果G在其所有的解释I下的真值取值为真，则称G称为有效公式；如果G在其所有的解释I下的真值取值都为假，则称G为矛盾公式；如果G不是矛盾公式，则称其为可满足公式。 谓词公式与等值演算 谓词公式的概念 变量的自由与约束 谓词公式的解释与分类 谓词公式的等价与蕴含 * * 谓词公式的等价与蕴含 * * 谓词公式等值式 第一组 ：命题公式中永真公式的谓词公式代换实例显然是有效谓词公式。因此，按命题逻辑中24个基本等值式模式使用谓词公式代换出来的实例必定是谓词公式等值式。 * * 谓词公式等值式 * * 谓词公式等值式 * * 谓词公式等值式 * * 谓词公式等值式 上述基本的等值关系式很多可以互相推导。特别是当个体域为有限集时，很容易理解上述等值关系的合理性。 * * 谓词公式等值式 * * 谓词公式等值式 * * 谓词公式等值式 * * 谓词公式的等价与蕴含 * * 谓词公式的等价与蕴含 * * 谓词公式的等价与蕴含 * * 谓词公式的等价与蕴含 * * 谓词公式的等价与蕴含 * * 谓词公式的概念 * * 谓词公式的概念 * * 谓词公式的概念 * * 谓词公式的概念 * * 谓词公式的概念 谓词公式是原子谓词公式、联结词、量词、圆括号和逗号按上述规则组成的符号串，且命题公式是谓词公式的一个特例。 为方便起见，谓词公式中的括号可以像命题公式那样省略最外层括号。 * * 谓词公式的概念 * * 谓词公式的概念 谓词公式与等值演算 谓词公式的概念 变量的自由与约束 谓词公式的解释与分类 谓词公式的等价与蕴含 * * 变量的自由与约束 * * 变量的自由与约束 * * 变量的自由与约束 确定一个量词的辖域就是要找出位于该量词之后与之相邻接的子公式，具体方法如下： （1）若量词后面有括弧，则括弧内的子公式就是该量词的辖域； （2）若量词后面无括弧，则与该量词邻接的子公式为该量词的辖域。 * * 变量的自由与约束 * * 变量的自由与约束 * * 变量的自由与约束 * * 变量的自由与约束 * * 变量的自由与约束 * * 变量的自由与约束 【分析】判断公式的变元是自由变元还是约束变元，关键是看量词后面的辖域。 * * 变量的自由与约束 * * 变量的自由与约束 【定义】若谓词公式G中不含自由变量，则称该公式为封闭公式或闭式。 * * 变量的自由与约束 * * 变量的自由与约束 约束变量的换名规则： （1）将量词中出现的变量以及该量词辖域中此变量的所有约束出现都替换为新的变量； （2）新变量名一定要有别于辖域中的所有其它变量名。 * * 变量的自由与约束 自由变量的代入规则： （1）将公式中出现该自由变量的每一处都用新的变量替换； （2）新变量不允许在原公式中以任何约束形式出现。 * * 变量的自由与约束 * * 变量的自由与约束 * * 变量的自由与约束 * * 变量的自由与约束 * * 变量的自由与约束 谓词公式与等值演算 谓词公式的概念 变量的自由与约束 谓词公式的解释与分类 谓词公式的等价与蕴含 * * 谓词公式的解释与分类 【定义】 谓词公式G的每一个解释I由如下四个部分组成： （1）确定非空的个体域集合D； （2）确定公式G中的每个常量符号的含义，即指定D中的某个特定的元素； * * 谓词公式的解释与分类 * * 谓词公式的解释与分类 * * 谓词公式的解释与分类 * * 量词与特性谓词 * * 量词与特性谓词 【例题】使用量词表示下列原子命题： （1）每列火车都比某些汽车快； （2）某些汽车比所有的火车慢。 * * 量词与特性谓词 * * 量词与特性谓词 * * 量词与特性谓词 * * 量词与特性谓词 * * 量词与特性谓词 * * 量词与特性谓词 * * 量词与特性谓词 * * 量词与特性谓词 * * 量词与特性谓词 有时需要对量词含义进行否定。例如： “每个老虎都吃人”的否定，就是： “不是每个老虎都吃人”或“至少存在一个老虎不吃人” * * 量词与特性谓词 量词德摩根律的具体逻辑含义由如表所示： * * 量词与特性谓词 【例题】求下列命题谓词式的否定式： （1）有一些学生喜欢离散数学； （2）三班的男生跑步都很快。 * *