中英▼
go top

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

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

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

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