单词
文章
取名
英语词组短语
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.
Logical assertion网络翻译
逻辑断言
所谓流程图是用弧(arc)互相连接的一些框图，每条弧的边上都有一个“标志”(tag)，实际上就是一个逻辑断言(logical assertion)，它保证当控制经过这条弧时为真。
Logical assertion双语例句
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.
这种逻辑公式的结构是有序二元对，第一元是断言；第二元是对应于这个断言的可定义集或不可定义域集的近似集。
相关单词
- lockoutn. 闭厂，停工
- linguisticsn. 语言学
- linguistn. 精通外国语言的人；语言学家
- leotardn. 紧身连衣裤（杂技和舞蹈演员等穿的）
- laborern. 劳动者；工人
- autarchyn. 专制，独裁；专制国家
- atlasn. 地图册；第一颈椎，寰椎；（希腊式建筑中支撑柱楣的）男像柱（复数atlantes）
- astropologist人类学家
- assignedadj. 指定的；已分配的 v. 分配（assign 的过去分词）；指定；委派
- artisann. 工匠，技工
- arithn. 数学；算术 adj. 算术的
- arenan. 竞技场，圆形剧场；斗争场所，活动舞台 【名】 （Arena）（英）阿里纳，（意、西、葡、德）阿雷纳（人名）
- apprenticeshipn. 学徒期；学徒身份
- apprenticen. 学徒，徒弟；生手，新手 v. 收……为学徒；当学徒
- anthropologyn. 人类学