truth-value

truth-value的基本解释

-

真值

与truth-value相关的网络例句 [注：此内容来源于网络，仅供参考]

Then we deeply studied the completeness of LP . Consequently, we established:(1) The completeness theorem of LP with truth-value in finite Lukasiewiczchain;(2) The completeness theorem of LP with truth-value in complete and atomic lattice implication algebras;(3) The completeness theorem of LP with truth-value in injective lattice implication algebras.

建立了：（1）基于Lukasiewicz有限链的格值命题逻辑系统LP的完备性定理；（2）基于完备的且原子的格蕴涵代数的格值命题逻辑系统LP的完备性定理；（3）基于内射的格蕴涵代数的格值命题逻辑系统LP的完备性定理。

Because Horn-clause logic theory is of significance in both respects of theory and application, We especially studied lattice-valued Horn-clause logic with truth-value in lattice implication algebra, and the soundness and completeness theorem have been proved.

经典逻辑中，Horn子句逻辑理论具有广泛的应用，因而，本文中特别建立了基于格蕴涵代数的格值-类Horn子句逻辑，并证明了可靠性和完备性定理，这为建立一类基于格值逻辑这种非经典逻辑的人工智能语言将产生重要的作用。

The fuzzy reasoning method based on Petri Nets is usually taking the minimal value of each truth-value of fuzzy conjunctive proposition, while the truth-value of fuzzy disjunctive proposition takes the maximal value.

FRPN的推理方法一般是模糊命题合取式的真值取各子式真值的最小值，析取式的真值取各子式真值的最大值。

In this method, corresponding data sheet of promissory truth-value and indicating value was set up and the measured value could be obtained by inverse operation.

该方法通过标准分段查询，即建立约定真值与示值之间的对应数据表，再经过逆运算就可以得到测量值。

In view of the fact that the domestic research on Kripke"s proposal is insufficiently developed, the aim of this paper is to grasp the implication of the concepts of "Truth-value Gaps","Groundedness","Fixed Point" by detailed analysis and to explain the technical processing and intuitional rationality in the hope of understanding Kripke"s viewpoint better.

鉴于目前国内对克里普克的这一方案的研究还不够深入，本文力图通过细致的分析，把握真值间隙，有根性，固定点这三个核心概念的涵义，在说明其哲学上的合理性同时，对其技术性的处理作出详细的说明，以期更好地理解克里普克的观点。

与truth-value相关的网络解释 [注：此内容来源于网络，仅供参考]

truth-value function：真值函数

truth value of proposition ==> 真值命题 | truth-value function ==> 真值函数 | truxillic acid ==> 组丝酸

Truth-Value Gaps：真值空缺

Truth-Conditional Semantics 真值条件语义学1166 | Truth-Value Gaps 真值空缺1166 | Truth-Value Gaps 真值间隙1166

Truth-Value Gaps：真值间隙

Truth-Value Gaps 真值空缺1166 | Truth-Value Gaps 真值间隙1166 | Turing Machine 图灵机893