离散数学 教学课件 作者 赵一鸣 阚海斌 吴永辉 dshu26n.pptVIP

* * §2 谓词公式语义解释 个体变元，谓词，函数词和个体常元 需要逐层解决 一、P(Y)的解释域 P(Y)的解释域是一个四元组(U,?1,?2,?3)，其中： (1)U是非空集，称为论域。 (2)?1是C→U的函数。 (3)?2是P(Y)上的函数词集合到U上运算集的函数，使得?2(fni)=fni，这里fni是U上的n元运算。 (4)?3是P(Y)上的谓词集合到U上关系集的函数，使得?3(Rni)=Rni，这里Rni是U上的n元关系。 解释域(U, ?1,?2,?3)简记为U， 在给定解释域U后，P(Y)中只涉及闭项的原子公式就可视作为关于U上的命题。它不需要经过变元的指派就可以确定命题的真假值。 例：设P(Y)中的个体常元集C={c1,c2}，函数词集合T(1)=?，谓词集合R={R21} ，P(Y)的解释域现定义为：U={2，3}，?1(c1)=c1=2，?1(c2)=c2=3，?3 (R21)= R21，这里R21表示“小于”关系。 对于P(Y)中只含有闭项的原子公式p=R21(c1,c2)，在此解释域下，p解释为“2与3是小于关系”，是真命题。 若把解释域中关系的解释R21修改为“相等”关系，则p解释为“2与3是相等关系”，则是假命题。 有了解释域，就可以对只含有闭项的原子公式讨论其真假值，但由于对个体变元并没有赋值，因此一般的原子公式还是无法确定其真假值。 下面就必