大家都搜:
逻辑断言
1、unproved assertion───未经证实的断言
2、assertion failed───断言失败
3、logical operation───[计]逻辑Cao作,[计]逻辑运算
4、startling assertion───惊人的论断
5、logical relations───[计]逻辑关系;[计]逻辑关系式
6、self-assertion───n.自信;自作主张;一意孤行
7、logical───adj.合逻辑的,合理的;逻辑学的
8、logical fallacy───逻辑谬误;逻辑错误;逻辑谬论
9、assertion───n.断言,声明;主张,要求;坚持;认定
1、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.───这种逻辑公式的结构是有序二元对,第一元是断言;第二元是对应于这个断言的可定义集或不可定义域集的近似集。