查询词典 formula of propositional logic
- 与 formula of propositional logic 相关的网络例句 [注：此内容来源于网络，仅供参考]
-
A formula of propositional logic is said to be satisfiable if logical values can be assigned to its variables in a way that makes the formula true.
公式命题逻辑被认为是符合要求，如果逻辑值可分配给它的变量的方式，使真正的公式。
-
Using the infinite product of unevenly distributed probability space with potential of 3, the concept of formula truth degree was introduced into the Gdel 3-valued propositional logic system. Moreover, it was proved that in the 3-value (1/4, 1/2, 1/4), measure the set of truth of degree of propositions was dense in [0, 1], and a general expression of truth degree was obtained, providing a basis for further developing approximate reasoning of 3-valued propositional logic system.
利用势为3的非均匀概率空间的无穷乘积，在Gdel三值命题逻辑系统中引入公式的真度概念，在三值逻辑(四分之一，二分之一，四分之一)测度下证明G3中全体公式的真度值之集在[0， 1]上是稠密的，并给出公式真度的表达通式，为进一步在三值命题逻辑系统中展开近似推理奠定基础。
-
Finally,a simplified case of BOFL,i.e.Boolean Operator Propositional Logicestablished on a Boolean algebra,is further discussed.A complete algorithmfor finding the true level and false level of a formula in BOPL,which subsumes the re-lated work by Wang H.in the propositional logic,is also provided.
对布尔算子模糊逻辑的简化情形一布尔算子命题逻辑作了进一步讨论，放宽了对真值域的要求，将布尔算子命题逻辑建立在布尔代数上，并推广了命题逻辑中的王浩算法，给出了一个完备的求给定公式恒真水平和恒假水平的机械推导算法。
-
Furthermore, we discuss the truth degree of the propositional formula in two-valued propositional logic system.
并对命题公式的蕴涵问题进行等价描述；对二值命题逻辑系统的程度化研究中命题公式的真度问题进行讨论。
-
The theory of ∑-α-tautologies of fuzzy propositional logic was combined with the theory of truth degree in metrology of logic introduced by professor G.J.Wang, and the theory of ∑Γ－fuzzy truth degrees of formula relative to the finite theory in propositional logic system n was introduced.
将模糊命题逻辑系统中的∑-理论与计量逻辑学中的真度理论相结合，在n-值Lukasievicz模糊命题逻辑系统Ln中引入了公式相对于有限理论的∑Γ－模糊真度理论，讨论了其中的主要性质。
- 推荐网络例句
-
They weren't aggressive, but I yelled and threw a rock in their direction to get them off the trail and away from me, just in case.
他们没有侵略性，但我大喊，并在他们的方向扔石头让他们过的线索，远离我，以防万一。
-
In slot 2 in your bag put wrapping paper, quantity does not matter in this case.
在你的书包里槽2把包装纸、数量无关紧要。
-
Store this product in a sealed, lightproof, dry and cool place.
密封，遮光，置阴凉干燥处。