1) tautology
[英][tɔ:'tɔlədʒi] [美][tɔ'tɑlədʒɪ]
套套逻辑 [恒真式;重言式;同义反复]
2) logic nesting level number
逻辑嵌套级编号
3) 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.
全面系统地总结了逻辑恒等式的证明方法 ,在阐明各种证法的思想、方法的基础上 ,用形式多样的例子说明了逻辑恒等式的证明步骤 ,并简要的介绍了一些方法的使用技巧。
4) logical truth
逻辑永真式
5) casing with inserted joints
套接式套管
6) Nested language
嵌套式语言
补充资料：套套
1.框框;办法。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条