计算机数学基础-第9章.pptVIP

第9章 谓词逻辑基础 9.1 谓词逻辑的基本概念 9.2 谓词逻辑的等价式和蕴涵式 *9.3 谓词公式的前束范式 9.1 谓词逻辑的基本概念 9.1.1 个体、谓词与谓词表达式 9.1.2 命题函数与个体域 9.1.3 量词与辖域 9.1.4 谓词公式与语句的形式化 9.1.1 个体、谓词与谓词表达式 比较 命题逻辑 一个完整的语句为研究对象 谓词逻辑 将语句细分为“个体” 和“谓词”。 个体一般是语句的主语，谓词一般是语句的谓语。 9.1.2 命题函数与个体域 9.1.3 量词与辖域 9.1.4 谓词公式与语句的形式化 9.2 谓词逻辑的等价式和蕴涵式 9.2.1 谓词公式的永真、永假与可满足式 9.2.2 谓词逻辑的等价式与蕴涵式 9.2.1 谓词公式的永真、永假与可满足式 9.2.2 谓词逻辑的等价式与蕴涵式 * 个体：谓词演算中把要讨论对象称为个体，它们可以是客观世界中的具体客体，也可以是抽象的客体，诸如数字、符号等。 表示法： 个体常元：确定的个体常用a，b，c等小写字母或字母串表示。 个体变元: 不确定的个体常用字母x，y，z，u，v，w等来表示。 谓词：用来指明对象的性质或对象间关系的词。 表示法：用大写字母或者大写字母串表示谓词。 注意： （1）单独一个谓词不是完整的命题； （2）用谓词表达命题，必须包括个体和谓词两个部分，成为谓词表达式。 谓词的元数：通常把