离散数学第三章 谓词演算基础-自由变元与约束变元.pptVIP

第三章 谓词演算基础 3.1 谓词与个体 3.2 函数与量词 3.3 自由变元和约束变元 3.3.1 自由出现和约束出现 3.3.2 改名和代入 3.4 永真性和可满足性 3.5 唯一性量词与摹状词 复习: 项 例 考察谓词 WRITE(x,y)表示x 写了y 的谓词填式： WRITE(Shakespeare，Hamlet) WRITE(Shakespeare，y) WRITE(son(Shakespeare)，Hamlet) 变量符号 函数！ 实体 谓词演算公式的原子公式 ——谓词填式A(x1，x2，…，xn) 其中x1，…，xn是项(实体、变量符号、函数)。 原子公式是公式的最小单位，是最小的句子单位。 项不是公式。 函数f(t1,...，tm)不是句子，仅是词，因而不是公式仅是项。项的结果仍是个体名称集合中的名词，而公式的结果(真值)是成立或不成立(是1或0)。 合式公式的定义 定义1：谓词演算的合式公式(简称公式)是由 ◆ 原子命题、 ◆ 谓词填式（原子公式）、 ◆ 或由它们利用联结词和量词 构成的式子。 合式公式的形式定义 (1) 原子命题P是合式公式； (2) 谓词填式A(x1，x2，x3，…，xn)是合式公式； (3) 若A是公式，则?A是合式公式； (4)