go top

您要找的是不是:

logical operation 逻辑操作,逻辑运算

logical assertion 添加释义

网络释义英英释义

  逻辑断言

所谓流程图是用弧(arc)互相连接的一些框图,每条弧的边上都有一个“标志”(tag),实际上就是一个逻辑断言(logical assertion),它保证当控制经过这条弧时为真。

基于2012个网页-相关网页

Logical assertion

  • abstract: A logical assertion is a statement that asserts that a certain premise is true, and is useful for statements in proof. It is equivalent to a sequent with an empty antecedent.

以上来源于: WordNet

双语例句

  • The logical formulas are an ordered binary pair, the first element is an assertion and the second is a definable domain or approximations of undefinable domain corresponding to the assertion.

    这种逻辑公式结构有序第一断言第二元是对应于这个断言的可定义不可定义域集的近似集。

    dict.cnki.net

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定