赋值 valuation;value assignment 数理逻辑用语。在解释I中的一个赋值是一个函数v,函数v的定义域是语言中的项组成的集,值域就是解释I的论域D,且满足条件(1)v(ai)= i,其中 i是个体常元,ai是个体域中的特指元素。(2)v(fni(t1,…,tn))= ni(v(t1),…,v(tn)),其中fni是函数符号,t1,…,tn是任意项。解释只是原则上给出了语言中各类符号的指称对象,但对语言中的项并没有指派确定的对象。只有当对每个项都指派确定的对象,即赋予每个项以确定的值后,才能为一阶语言中一切合式公式的真假的确定提供条件。定义条件(1)表明个体常元ai的指称的对象是论域中固定的个体,对解释I中的任何赋值,这种对应关系不变。条件(2)表明:项t1,…,tn先经过运算fni,然后赋值;与先赋值后再进行运算fni所得的结果一致。亦即赋值是保持运算的。一旦当个体变元x1, …, xn,…,被指派为v(x1), …, v(xn), …后,I中的一个赋值就最后确定了。一般在一个解释I中,还可以有许多不同的赋值。因此,v(x1),…,v(xn), …的不同取值,就给出了实质上不相同的赋值。由于v(x1), …, v(x1), …实际上是个体域D中元素的一个序列, 因此, 一个赋值可以看成相当于一个序列。说一个赋值v满足公式A, 就是说一个序列v(x1), …, v(xn), …满足公式A。 |