第四章谓词演算王元元.pptVIP

第四章 谓词演算 谓词演算引入的必要性 谓词演算引入的必要性 谓词演算引入的必要性 谓词演算引入的必要性 4.1 谓词演算基本概念 4.1.1 个体与个体域 4.1.1 个体与个体域 4.1.2 谓词与谓词填式 4.1.2 谓词与谓词填式 4.1.2 谓词与谓词填式 4.1.2 谓词与谓词填式 4.1.2 谓词与谓词填式 4.1.2 谓词与谓词填式 4.1.3 量词及其辖域 4.1.3 量词及其辖域 4.1.3 量词及其辖域 指导变元、辖域与约束变元 在公式?x A，和?x A中，x是指导变元 A为相应量词的辖域 在辖域中出现的x为约束变元 其他变元为自由变元 注A可为一谓词填式或复合的谓词表达式式 例1： 说明 说明 说明 说明 说明 例2 ： 4.1.4 谓词公式及语句的形式化 括号省略原则同命题公式，并约定，(?xA)，(?x A)中最外层括号也可省略。 例： 谓词公式 例4-3 ： 例4-3 ： 4.1.4 语句的形式化 4.1.4 语句的形式化 4.1.4 语句的形式化 语句形式化过程的三个关键问题是： 在全总域讨论 4.1.4 语句的形式化 4.1.4 语句的形式化 4.1.4 语句的形式化 4.1.4 语句的形式化 4.2 谓词演算永真式 4.2.1 谓词公式的真值规定 4.2.1 谓词公式的真值规定 4.2.1