说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 逻辑等价
1)  logic equivalence
逻辑等价
1.
Robustness of fuzzy reasoning under metric of logic equivalence;
逻辑等价度量下的模糊推理系统的鲁棒性
2)  equation logic
等式逻辑
1.
The equation logic is implemented efficiently by building the description of the type and improving the unification algorithm on the base of the rewriting mechanism.
讨论了在逻辑程序系统中处理表达式的等式扩展方法,描述了表达式建立类型并在重写机制的基础上改进传统的合一操作,实现了高效的等式逻辑。
3)  equivalent logic
等同逻辑
1.
From the view of equivalent logic in modern logic and the analysis of the logistic structure of the 3 relation inference in "WEN ZHI", the realization of equivalent words inference depends on their replacements, then the unknown is deduced from the known.
另外从现代逻辑的等同逻辑入手,通过对"闻知"中的三个关系推理的逻辑结构分析,运用等词替换实现了等词推理,进而由已知推出未知。
4)  Equational logic
相等逻辑
5)  Logical cost
逻辑代价
6)  logical price
逻辑价格
补充资料:等价(逻辑的)


等价(逻辑的)
equivaknce (logical)

  等价(逻辑的)[冈耐班山”沈(加必回);paaaoe。脚oeT‘] 两个命题A和B(逻辑)等价,如果对A和B的参量的各种可允许的取值,A和B都同真或同假.例如,方程,不等式,方程组,不等式组的等价是指它们的解集相同.命题演算(proPOs油n司culus)公式的等价是指它们所定义的.洲众函数(玫力kanfullc-tion)相同.
  
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条