3) n-valued logic system Gn
n值逻辑系统Gn
1.
n-valued logic system Gn based on the derived operator of Gdel implication operator;
讨论剩余类蕴涵算子之一Gdel蕴涵算子的导出算子的三值系统G3和n值逻辑系统Gn(n>3)。
4) n-valued Lukasiewicz logic system
n值Lukasiewicz逻辑系统
5) (n-valued) Logic System I_(n)
n值逻辑系统In
6) 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逻辑系统中给出在信息下的近似推理理论提供了一种可能的框架。
补充资料:[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
性质:暂无
制备方法:暂无
用途:用于轻、中度原发性高血压。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条