- logiclogic 数理逻辑
formal logic 形式逻辑
logic analyzer 逻辑分析仪；逻辑分析器
logic operation 逻辑运算
propositional logic 命题逻辑
- propositionaladj. 建议的,提议的 propositional logic 命题逻辑
propositional calculus 命题演算
- propositional logic命题逻辑
- affirmativeadj. 肯定的; (对辩论问题)表示赞成的，认可的; (态度、方法等)积极的，正面的; 乐观的，抱有希望的; 敢说的；自信的；确信的; (命题)肯定的，断言的; n. 肯定词；肯定语；肯定表达法;
- calculuspropositional calculus 命题演算
- copulan. 系动词(如be,seem,appear等),(命题主词与谓词间的)连系形容词: copular
- counterproposition反命题
- determinatumn. (命题的)受限定部分;受定语;被定体
- exponiblen. 可说明的命题,应阐明的命题; adj. 可说明的
- falsefalse alarm 假警报；引起一场空喜欢的人
false positive 假阳性
false alarm rate 火灾误报率；误警率；虚率
false statement 假语句；假命题；不实
- piece破碎，倒塌
test piece 试样；制取试样的金属块；[音]参赛或命题曲目
piece on 接上，贴上
a piece of music 一段音乐；一首音乐；一首乐曲
- propositionn. 论点；主张; 建议；提案; 命题
时 态: propositioned，propositioning，propositions
形容词: propositional
- propositional calculus命题演算
- reductio ad absurdumn. 〈拉〉归谬法,间接证明法;反证法(说明某一命题的反面为不可能或荒谬,以证明该命题为正确)
- sentencen. 宣判，判决；句子，命题; vt. 判决，宣判
时 态: sentenced, sentencing, sentences
形容词: sentential
- settern. 考试命题者；政策制定者; 风格倡导者，潮流倡导者; 塞特猎犬，蹲伏猎狗
- statement报表
make a statement 陈述；作供
false statement 假语句；假命题；不实报表；虚假声明
cash flow statement 现金流转表，现金流量表
- subalternaten. 特称命题; adj. 循次序的;连续的
- subcontraryadj. 小反对关系的; n. 小反对命题
- superalternn. 全称命题(指对一类事物的全部作出的判断)
- theoremn. (尤指数学)定理；命题; 原理,原则
fixed point theorem 不动点定理
existence theorem [计]存在性定理
mean value theorem 中值
- thesesn. 论文；命题（thesis 的复数）
- verificationn. 证明；证实; (指通过经验)证明(某命题正确); 核实，查对；查清(指履行武器协议中所规定稽核程序的过程)
experimental verification 实验验证；实验性鉴定
- ALCabbr. Adaptive Logic Circuit 自适应逻辑电路
- alogicaladj. 非逻辑的
用户正在搜索
ethylhexyl,
ethylhydrocupreine,
ethylhydroxyethylcellulose,
ethylhydroxylamine,
ethylic,
ethylidene,
ethylidene-diurethane,
ethylidene-urea,
ethylidine,
ethylidyne,
相似单词
3G,
401(K),
a,
用户正在搜索
ethylmorphine,
ethylnandrol,
ethylnaphthalene,
ethylnaphthalene-polyoxyethyleneether-alcohol,
ethylnoradrenaline,
ethylnorepinephrine,
ethylnorphenylephrine,
ethyloestrenol,
ethylogen,
Ethylon,
相似单词
3G,
401(K),
a,
用户正在搜索
ethyl-polyoxyethylene-ether-alcohol,
ethyl-polyoxynitrosophenol,
ethylrubber,
ethylstibamine,
ethylsulfate,
ethyl-sulfate,
ethyl-sulfoxide,
ethylthalline,
ethylthioethane,
ethylthiophene,
相似单词
3G,
401(K),
a,