原子命题
- 与 原子命题 相关的网络解释 [注：此内容来源于网络，仅供参考]
-
atomic lattice
原子格
atomic formula 原子公式 | atomic lattice 原子格 | atomic proposition 原子命题
-
atomic module lattice
原子模络
原子测度 atomic measure | 原子模络 atomic module lattice | 原子命题 atomic proposition
-
atomic proposition
原子命题
容易看出,例2.1-1,例2.1-2中给出的是命题的陈述句都不能进一步分解,类似这种不能再分的命题,称为原子命题(Atomic Proposition)或简单命题,原子命题是命题逻辑中最基本,最小的单位.由作为原子命题的简单陈述句通过连词联结而成的命题,
-
functor
函子
)要么是命题字母要么是跟随着. 个常量或函子(functor)之外. 但下列不是原子句子(因为有变量的自由出现):.
-
predicate calculus
谓词演算
与谓词演算(predicate calculus)相反,命题演算取简单的、未分析的命题,而不是取词项和名词表达式作为原子单元. 与函项演算相反,它仅处理不包含变项的命题. 简单的(原子的)命题用字母表示,复合的(分子的)命题用下列标准符号形成︰ ...
- 推荐网络解释
-
Burnley：班來
SP Group在瑞德奇、伯明翰和班来(Burnley)拥有4座工厂,有650名员工. 该公司营业额逾6000万英镑,已跻身于英国规模最大同时也最具创新的销售点印刷商行列. 而在中国,有非常多的公司都希望享受包括高速打印,印前服务,
-
Iconium：伊康
后迁都科尼亚(Konya),古称伊康(Iconium),故又称伊康素丹国. 1080~1081年,苏莱曼先后攻克舍马哈、尼德微、安塔基亚,其势力伸展至小亚细亚西北部和爱琴海岸. 1086年,苏莱曼逝世后,其继任者实行分封制,国内公国林立,互相混战,
-
u Bit Floundering：(钻头泥包)
u Bit Balling,Ball Up (钻头泥包) | u Bit Floundering(钻头泥包) | u Deflecting Tool (造斜工具)