4、 量词： 。一个谓词演算的表达式，在 限定的个体域中，其取值有时 是不确定的，例如： x+6=5, ·是一个命题，如x个体变域为整形时，取 值不定，x=1时命题为真，其余为假，为 使它在个体变域内有确定取值，人们引入 量词： 76
76 4、量词： • 一个谓词演算的表达式，在 限定的个体域中，其取值有时 是不确定的,例如： x+6=5， • 是一个命题，如x个体变域为整形时，取 值不定，x=-1时命题为真，其余为假，为 使它在个体变域内有确定取值，人们引入 量词：
Vx(0),Vx全称量词， 0为一命题公式， 量词 叫全称量词的辖域。 3x(0)一x为存在量词，括号 中φ为一公式，叫存在量词的辖域。 如：3x(x+6=5)》 则取值为真，而： Vx(x+6=5)取值为假。 77
77 x（）， x 全称量词， 为一命题公式， 量词 叫全称量词的辖域。 x（ ）— x为存在量词，括号 中为一公式，叫存在量词的辖域。 如： x（x+6=5） 则取值为真，而： x（x+6=5）取值为假
5、谓词演算公式 谓词演算中也包括了命题演算， 故命题变元也可写成谓词算式 的形式，叫谓词演算的原子公式 由原子公式出发，可以定义谓词 演算的公式： i谓词演算的原子公式是公式。 ⅱ，若A是谓词演算公式，则（一A)也是谓词 演算的共识。 ⅲ若A、B是谓词演算公式，则： (AAB), (AVB),(A→B),(A→B)是谓词演算公 式。 78
78 5、谓词演算公式 谓词演算中也包括了命题演算， 故命题变元也可写成谓词算式 的形式，叫谓词演算的原子公式 由原子公式出发，可以定义谓词 演算的公式： i.谓词演算的原子公式是公式。 ii.若A是谓词演算公式，则（A）也是谓词 演算的共识。 iii.若A、B是谓词演算公式，则：（AB）， （AB），（A→B），（AB）是谓词演算公 式
iv.若A是谓词演算公式， x是个体变元，则Vx(A), ]x(A)也是谓词演算公式。 ⅴ.只有按14所得的公式才是谓词演算的 公式。 ·看出：演算公式的构成定义是递归的给 出了由原子公式到一般公式的产生法则。 79
79 • iv.若A是谓词演算公式， x是个体变元，则x（A）， x（A）也是谓词演算公式。 • v.只有按1—4所得的公式才是谓词演算的 公式。 • 看出：演算公式的构成定义是递归的给 出了由原子公式到一般公式的产生法则
Tuple relation Calculus 元组关系演算 以元组为变量的关系演算 元组关系演算。为得到元组 关系演算的数学描述，人们将谓词演算推广到元组 元算中来。 ·元组演算的公式定义法则： 1、原子命题函数是公式，称为原子公式(atom formulas). 在关系演算中，它有如下三种形式： 80
80 二、Tuple Relation Calculus 元组关系演算 以元组为变量的关系演算叫 元组关系演算。为得到元组 关系演算的数学描述，人们将谓词演算推广到元组 元算中来。 • 元组演算的公式定义法则： 1、原子命题函数是公式，称为原子公式（atom formulas）。 在关系演算中，它有如下三种形式：