英语人>词典>汉英 : 逻辑地真命题 的英文翻译,例句
逻辑地真命题 的英文翻译、例句

逻辑地真命题

词组短语
logically true proposition
更多网络例句与逻辑地真命题相关的网络例句 [注:此内容来源于网络,仅供参考]

By employing the theory of ∑Γ-fuzzy truth degree, the concepts of Γ-pseudometric on F was proposed in the propositional logic system Ln. The results obtained can complement and enhance the original theory of metrology of logic, and can give a new frame for fuzzy reasoning study.

特别地证明了真度关系:τΓ+τΓ≤1+τΓ,并利用这一关系在模糊命题演算系统Ln中的公式集F上引入相对于有限理论的Γ-伪距离,从而为在模糊命题逻辑系统Ln中建立相对于有限理论的近似推理框架奠定了基础。

Having combination of the theory of truth degree in metrology of logic with the theory of ∑-α-tautologies in fuzzy logic, which have been introduced by professor G.J.Wang, the theory of ∑Γ-truth degree was introduced, and its properties which induce a pseudometric on F were investigated. The results gained have complemented and enhanced the original theory, and the work delivers a new frame for fuzzy reasoning.

将模糊命题逻辑中的∑-α-重言式理论与计量逻辑学中的真度理论相结合,在经典二值命题演算系统L中引入了公式相对于有限理论的∑Γ-真度理论,较为详细地讨论了它们的性质,并利用∑Γ-真度的性质在公式集F上引入了ρΓ-伪距离,对原有的理论进行了加强和补充,为在模糊命题逻辑系统的有限理论中讨论结论的程度化问题奠定了基础。

By employing the theory of ∑Γ-fuzzy truth degree, the concepts of Γ-pseudometric on F was proposed in the propositional logic system Ln.

特别地证明了真度关系:τΓ+τΓ≤1+τΓ,并利用这一关系在模糊命题演算系统Ln中的公式集F上引入相对于有限理论的Γ-伪距离,从而为在模糊命题逻辑系统Ln中建立相对于有限理论的近似推理框架奠定了基础。

更多网络解释与逻辑地真命题相关的网络解释 [注:此内容来源于网络,仅供参考]

logical variable:逻辑变量

logical symbol 逻辑符号 | logical variable 逻辑变量 | logically true proposition 逻辑地真命题

logically true proposition:逻辑地真命题

logical variable 逻辑变量 | logically true proposition 逻辑地真命题 | logicism 逻辑皱

logicism:逻辑皱

logically true proposition 逻辑地真命题 | logicism 逻辑皱 | logico mathematical model 逻辑数学模型

emotivism:情绪论

至于我们对于道德命题的性质要采取情绪论(Emotivism)或是规范主义(Prescriptivism)的立场,在此并无差异. 不可知论据否定的只是形上学的客观性,而无法否定逻辑意义的客观性(P.24). 此一讨论逼使我们必须更全面更详细地面对道德命题的真值基础问题.