赋值公理英文解释翻译、赋值公理的近义词、反义词、例句
英语翻译：
【计】 assignment axiom
分词翻译：
赋值的英语翻译：
evaluate
【计】 assign; assignation; assigned; assignment; bind; call by value
公理的英语翻译：
axiom; generally acknowledged truth
【计】 Armstrong
网络扩展解释
赋值公理
赋值公理（fù zhí gōng xǐ）是关于谓词逻辑和集合论的一个公理系统，它用来表述逻辑上的赋值操作。在数学中，赋值公理是一个非常重要的概念，很多数学分支都与赋值公理有关。
中文拼音和英语解释翻译
中文拼音：fù zhí gōng xǐ
英语解释翻译：The Axiom of Assignment
英文读音
音标：/ˈæsɪəm əv əˈsaɪnmənt/
英文的用法
在数学中，赋值公理（The Axiom of Assignment）用来描述谓词逻辑的语义操作。它定义了如何为谓词逻辑公式中的自由变量赋值，这些自由变量的值应该是集合中的元素。
英文例句
例句1：According to the Axiom of Assignment, we can assign any value to a free variable in a predicate logic formula.
中文翻译：根据赋值公理，我们可以为谓词逻辑公式中的自由变量赋任何值。
例句2：The Axiom of Assignment is important in the study of semantics of formal languages.
中文翻译：赋值公理在形式语言的语义学研究中具有重要意义。
英文近义词
无
英文反义词
无
英文单词常用度
赋值公理（The Axiom of Assignment）是数学中的基础概念，因此在学术研究中频繁出现。在日常使用中不太常见。