2) 3-valued Lukasiewicz logic
三值Lukasiewicz命题逻辑
3) Lukasiewicz propositional logic system
Lukasiewicz命题逻辑系统
1.
This paper provides the solution to the VDF problem in more general versions of ukasiewicz propositional logic systems.
文中在更一般的Lukasiewicz命题逻辑系统中建立了VDF问题的求解理论,首先给出了一般的Lukasiewicz命题逻辑系统中VDF的合理性条件,其次构造性地解决了Ln、La和Lc中的VDF问题。
4) n-valued Lukasiewicz Logic
n值Lukasiewicz命题逻辑
1.
Based on the idea of conditional probability,this paper introduced the conditional truth degree conception of proposition in n-valued Lukasiewicz Logic,then gave out some propositions of conditional truth degree.
利用条件概率的思想在n值Lukasiewicz命题逻辑中引入公式的条件真度概念,并给出条件真度的一些性质;利用条件真度定义公式相似度,进而导出全体公式集上的一种伪距离,这为n值Lukasiewicz逻辑系统中给出在信息下的近似推理理论提供了一种可能的框架。
6) proposition logic
命题逻辑
1.
The definition of truth degree in the classic two-valued proposition logic formula is populared to the uneven probability space whose power is 2,and two-valued logic(p,q) measure and its proposition probability truth degree are defined.
将经典二值命题逻辑中公式的真度概念推广到势为2的概率空间上,定义了二值逻辑(p,q)测度和其上命题的概率真度;在〔1/3,2/3〕的情形下证明了全体公式的概率真度之集在[0,1]中是稠密的,并给出了公式概率真度的表达通式。
2.
Aiming at the problem that there exists very complicated and a large amount of component constraints,an algorithm of component constraint detection based on proposition logic was proposed,in which the proposition in daily diction was transformed into the formal proposition of mathematical logic via the process of proposition symbolization,i.
针对组件约束数量大、复杂度高的问题,提出了一种基于命题逻辑的组件约束检测算法。
3.
In the viewpoint of proposition logic and based on extension theory,a new method for proposition representation is proposed.
从命题逻辑的角度 ,以可拓论为基础 ,建立了命题表示的一种新方法 ,提出了物元命题、事元命题和事物元命题的概念 ;指出物元命题与关于对象的陈述型命题相对应 ,事元命题和事物元命题与关于行为、事件的行为型命题相对应 ;探讨了命题的可拓性和可拓变换方法 ;给出了基于可拓集合的命题可拓集的概念 。
补充资料：[3-(aminosulfonyl)-4-chloro-N-(2.3-dihydro-2-methyl-1H-indol-1-yl)benzamide]
分子式：C16H16ClN3O3S
分子量：365.5
CAS号：26807-65-8
性质：暂无
制备方法：暂无
用途：用于轻、中度原发性高血压。
分子量：365.5
CAS号：26807-65-8
性质：暂无
制备方法：暂无
用途：用于轻、中度原发性高血压。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条