- affirmativeadj. 肯定的; (对辩论问题)表示赞成的，认可的; (态度、方法等)积极的，正面的; 乐观的，抱有希望的; 敢说的；自信的；确信的; (命题)肯定的，断言的; n. 肯定词；肯定语；肯定表达法;
- calculuspropositional calculus 命题演算
- copulan. 系动词(如be,seem,appear等),(命题主词与谓词间的)连系形容词: copular
- counterproposition反命题
- determinatumn. (命题的)受限定部分;受定语;被定体
- exponiblen. 可说明的命题,应阐明的命题; adj. 可说明的
- falsefalse alarm 假警报；引起一场空喜欢的人
false positive 假阳性
false alarm rate 火灾误报率；误警率；虚率
false statement 假语句；假命题；不实
- logiclogic 数理逻辑
formal logic 形式逻辑
logic analyzer 逻辑分析仪；逻辑分析器
logic operation 逻辑运算
propositional logic 命题
- piece破碎，倒塌
test piece 试样；制取试样的金属块；[音]参赛或命题曲目
piece on 接上，贴上
a piece of music 一段音乐；一首音乐；一首乐曲
- propositionn. 论点；主张; 建议；提案; 命题
时 态: propositioned，propositioning，propositions
形容词: propositional
- propositionaladj. 建议的,提议的 propositional logic 命题逻辑
propositional calculus 命题演算
- propositional calculus命题演算
- propositional logic命题逻辑
- 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 实验验证；实验性鉴定
- adjointn. [数]伴随矩阵; adj. 伴随的
adjoint matrix 伴随矩阵
adjoint variable 伴随变量
adjoint system 伴随系统；伴随系
- argabbr. 银（argent）; n. （函数的）自变量
Arg精氨酸
ARGabbr. autoradiography 放射自显影法
用户正在搜索
methylproline,
methylprylon,
methylpyridine,
methyl-rubber,
methylsulfadiazine,
methylsulfidine,
methylsulfonal,
methyl-sulfoxide,
methylsulphonal,
methylthiazol,
相似单词
3G,
401(K),
a,
用户正在搜索
methyne,
methyprylone,
Methyram,
methysergide,
methysticin,
methysticum,
METI,
metiamide,
metic,
metical,
相似单词
3G,
401(K),
a,
用户正在搜索
Metiram,
metis,
métis,
metisazone,
metisse,
metizoline,
metkefamide,
metlbond,
met-L-check,
METO,
相似单词
3G,
401(K),
a,