赋值 (逻辑)

易经学习

天地变化的道理

分类目录

使用率很高网站

文章列表

生活要常常分享

维基百科

您身边百科全书

产品秀秀

免费为您秀产品

赋值 (逻辑)

点击查看词条快照

在逻辑和模型论中，赋值（valuation）是从一阶语言的变量的集合到这个语言的某个释义的全集的映射#重定向重定向;重新导向;字符;字元;文件; 档案;快捷方式; 捷径;项目;专案;计划;计划;计划;计算机; 电脑; 电脑;。非形式的说，它是把一个特定的值指派（赋值）给一个数学陈述或等式中的变量#重定向重定向;重新导向;字符;字元;文件; 档案;快捷方式; 捷径;项目;专案;计划;计划;计划;计算机; 电脑; 电脑;。例如陈述 ""x" = "y" 满足于（就是说，为真于）在其中 "x" 被映射到同 "y"" 相同的值的求值，而不满足于（就是说，为假于）所有其他赋值。在这种简单情况下这好像是平凡的，但它是使用数学符号公式化逻辑论证的过程的一部分。

玻利瓦尔城

杨启彦

火炭铁路大楼

奥列格

第二十八届十大中文金曲颁奖音乐会

大暮维人

奥美拉唑

阿富汗国旗

库特纳霍拉

士郎正宗

阿富汗国徽

地平线