网站首页  情感咨询  情感美文  情感百科  情感生活  学习充电  旧版美文

请输入您要查询的百科知识:

 

标题 赋值
类别 哲学
释义 赋值     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。

随便看

 

依恋情感网情感百科知识大全收录了49620条情感类百科知识词条,覆盖心理学、哲学、美学等领域,基本涵盖了日常生活中常见问题的详细解释,是情感生活的有利工具。

 

Copyright © 2002-2024 yiyi18.com All Rights Reserved
更新时间:2025/10/19 0:47:01