查询词典 implication

matching theorems：匹配定理

matching 匹配 | matching theorems 匹配定理 | material implication 实质蕴涵

material implication：实质蕴涵

述谓结构由谓词(predicator)和谓元(argument)组合而成:其中谓词主要体现为动词性的语法单位,...它的意思决不是什么命题的任何函项,而是活动目标预测器(predicator)产生的一种功能;"实质蕴涵"(material implication),...储存分支指令的位址或目标位址,

material implication：实质蕴含

在展示中,HP的忆阻器件能使用状态逻辑来执行实质蕴含(material implication)──即一个能被互连以创造任一种逻辑运作、类似于早期由NAND闸所组成的超级计算机的完全操作者.

implication of material：实质蕴涵

implementation step | 实施步骤 | implication of material | 实质蕴涵 | implicit address | 隐式地址

strict root condition：严格[的]根条件

严格蕴涵 strict implication | 严格[的]根条件 strict root condition | 严格凹函数 strictly concave function

rule of inference：推演规则;推理规则

蕴涵规则 rule of implication | 推演规则;推理规则 rule of inference | 正负号规则 rule of sign

rule of inference：推 法则

rule of implication 蕴涵规则 | rule of inference 推 法则 | rule of joining an equivalence 等价规则

sink in：被理解

sink in 被理解 | leave vt.使;离开;留下 | implication n.结果,影响;含义

重要性 sink in 被了解：import n

7 bulletin n.公告,报告(bullet-子弹 把子弹比喻成贴在板子上的报告) | 8 import n.进口货(常用复数),进口,输入,意思,重要性 sink in 被了解 | 10 implication n.牵连,含意,暗示(im=in pl-说 )

strict extremum：严格极值

strict epimorphism 严格满射 | strict extremum 严格极值 | strict implication 严格蕴涵

antixerophthalmic factor：抗干眼因子

抗维生素 antivitamin | 抗干眼因子 antixerophthalmic factor | 抗干眼维生素 antixerophthalmic vitamin

January January：是一月, 一月January有新年

January, January是一月, 一月January有新年; | February, February是二月, 二月February有春节; | March , March是三月, 三月March 妇女节;