欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
论证有限多个公式的概率分布与生成它的原子公式集的概率分布之间的关系,然后把计量逻辑学与概率逻辑学相结合,提出了概率真度、概率逻辑伪度量空间（F（n）,ρP）;指出当取均匀概率分布时,概率真度就转化为计量逻辑学中的真度,同时两公式间的概率逻辑伪距离Pρ就转化为计量逻辑学中的伪距离ρ.从而在有限理论中建立了一种更具一般性的概率逻辑伪度量空间理论。
英文摘要：
The relationship between the probability distribution of finite formulas and the probability distribution of atomic formulas generating them is discussed, and the concepts of probability truth degree and probability logic pseudo-metric space （F（n）, ρp） are proposed by combining quantitative logic and probability logic. It is proved that when the probability distribution is even, the value of probability truth degree is equal to the value of truth degree and the value of probability logic pseudometric ρp is equal to the value of pseudo-metric ρ in quantitative logic. Thus a more general pseudo- metric is established in finite theories.
同期刊论文项目
同项目期刊论文
位置：