1) logical identities
逻辑恒等式
1.
This paper has comprehensively and systematic ally summed up the provable methods of equivalence of logical identities on the basis of expounding various provable methods and illustrating, the provable steps of logical identities by means of various examples.
全面系统地总结了逻辑恒等式的证明方法 ,在阐明各种证法的思想、方法的基础上 ,用形式多样的例子说明了逻辑恒等式的证明步骤 ,并简要的介绍了一些方法的使用技巧。
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) detective identity
侦辑恒等式
4) logic conservation
逻辑守恒性
5) 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.
另外从现代逻辑的等同逻辑入手,通过对"闻知"中的三个关系推理的逻辑结构分析,运用等词替换实现了等词推理,进而由已知推出未知。
6) Equational logic
相等逻辑
补充资料：储蓄-投资恒等式
储蓄-投资恒等式：基于国民收入会计角度反映经济活动事后的储蓄与投资恒等关系。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条