所谓流程图是用弧(arc)互相连接的一些框图，每条弧的边上都有一个“标志”(tag)，实际上就是一个逻辑断言(logical assertion)，它保证当控制经过这条弧时为真。
基于2012个网页-相关网页
作为模态逻辑的继承，与数理逻辑的又一外延，时态逻辑断言推理则有效地解决这方面出现的难题。
As is inherited from modal logic and another extension of mathematic logic, temporal logic assertion inference can solve such problems.
在实例的应用程序中，可以使用更复杂的逻辑来收集断言的用户标识。
In actual applications, there would be a more complex logic to collect the user identity for assertion.
恰恰相反，这是一种略带威胁口吻的断言：我说的是对的，逻辑站在我这一边。
Instead it is a slightly threatening way of asserting: I'm right and I have logic on my side.
应用推荐