命题
- 与 命题 相关的网络解释 [注:此内容来源于网络,仅供参考]
-
atomic proposition
原子命题
容易看出,例2.1-1,例2.1-2中给出的是命题的陈述句都不能进一步分解,类似这种不能再分的命题,称为原子命题(Atomic Proposition)或简单命题,原子命题是命题逻辑中最基本,最小的单位.由作为原子命题的简单陈述句通过连词联结而成的命题,
-
categorical proposition
直言命题
在这里,我们不想对于这些规则逐条细究,而只想指出,这些规则背后的基本理念是关于四种直言命题(categorical proposition)的理论. 直言命题,即以主谓形式构成的命题,一般来说分为四种:全称肯定命题、全称否定命题、特称肯定命题和特称否定命题. 此外,
-
propositional coding theory
命题编码说 命题编码说
proposition 命题 | propositional coding theory 命题编码说 命题编码说 | propositional learning 命题学习
-
propositional coding theory
命题编码说
proposition 命题 | propositional coding theory 命题编码说 | propositional learning 命题学习
-
converse of a contrapositive
逆否命题的逆,否命题
converse-negative proposition 逆否命题 | converse of a contrapositive 逆否命题的逆,否命题 | converse of an implication 逆蕴涵,逆命题
-
propositional calculus
命题演算(又称"命题 辑
propositional axiom 命题公 | propositional calculus 命题演算(又称"命题 辑") | propositional connective 命题 结词
-
propositional connective
命题 结词
propositional calculus 命题演算(又称"命题 辑") | propositional connective 命题 结词 | propositional constant 命题常元,命题常项
-
propositional function
命题函词;命题函数
命题演算 propositional calculus | 命题函词;命题函数 propositional function | 命题推演 propositional inference
-
propositional function
命题函 ,命题函项
propositional formula 命题公式 | propositional function 命题函 ,命题函项 | propositional inference 命题推演,命题推断
-
propositional inference
命题推演,命题推断
propositional function 命题函 ,命题函项 | propositional inference 命题推演,命题推断 | propositional intermediate logic 命题中间 辑
- 推荐网络解释
-
trisecting forceps:三切钳
trip off 断开,跳开 | trisecting forceps 三切钳 | triturate tablet 模印片
-
Dand Ecomble togeter:龙象般若功
易筋经: change your bone | 龙象般若功: Dand Ecomble togeter | 梯云纵: elevator jump
-
your blood sugar will drop precipitously:你的血糖会超常降低
If there are too many beta cells because of a tumor,|如果有瘤会导致蜂窝组织... | your blood sugar will drop precipitously.|你的血糖会超常降低 | How do we know it won't go too low?|我们怎么能知道会不会太...