1) logical axiom
逻辑公理
2) logicalaxiom
逻辑公理化
3) nonlogical axiom
非逻辑公理
4) logic formula
逻辑公式
1.
In this article, a kind of calculus method that is used to determine the truth-values of a kind of lattice valued logic formulae by means of the dynamic neural networks is proposed.
提出一种利用神经逻辑单元动态地构造神经网络的算法来对一类格值逻辑系统(L4(X))中的逻辑公式进行计算。
5) public logic
公共逻辑
6) fair logic
公平逻辑
补充资料：逻辑公理
逻辑公理
logical axiom
逻辑公理【】心因~:“or。，eeK翻毗，oMa〕 一个逻辑系统S通常由一个语言L和L的一个句子集T构成，T中的句子叫做在S中可证明的.T被归纳地定义为包含一个给定的L句子集A，并且关于某些特定运算封闭的L的最小句子集.A的元素叫做S的逻辑公理.价卜注1“逻辑公理”一词经常用于形式理论中的一些特定的公理，这些公理是关于建立逻辑联接词和量词的内涵(见逻辑演算(fogcalc司c川uS))的公理.与逻辑公理相对的是“非逻辑公理”，它们表示用公式刻画的理论的语言中关于特殊的函数及谓词符号的解释的假设(见逻辑数学演算(logico一n祖the此吐ical司cul璐)).
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条