- declarativeadj. 宣言的,公布的副 词: declaratively
declarative knowledge 陈述性知识
declarative sentence 陈述句
- 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 实验验证；实验性鉴定
用户正在搜索
aga,
Agache-Willot,
agacol,
AGACS,
agad,
Agade,
Agadir,
again,
again and again,
against,
相似单词
3G,
401(K),
a,
用户正在搜索
agalite,
agalloch,
agallochum,
Agallol,
agalma,
agalmatolite,
agalorrhea,
agalwood,
agama,
agamae,
相似单词
3G,
401(K),
a,
用户正在搜索
agamogenesis,
agamogenetic,
agamont,
agamospecies,
agamospermy,
agamous,
agamy,
Agana,
aganglionic,
Aganippe,
相似单词
3G,
401(K),
a,