English translation for "truth value"
|
- 真理
真值, 真实值
Related Translations:
- Example Sentences:
| 1. | Some propositions are true for any truth value of their variables. such propositions are called tautology . 某些命题对于变元后的任何一种真值状况,它均为真,这样的命题称为重言式。 | | 2. | Is supported , which lazily only tries as many elements of the iterator as are needed to determine the truth value if it winds up false , it needs to try all the elements , of course ,它仅尝试为确定真值所需要的那么多的迭代器的元素, (如果最终的值为false ,当然,它就需要测试所有元素) 。 | | 3. | Decision - making is a special type in questions . the paper tries to analyze the special logic structure from the view of question logic . then it tries to draw a conclusion that it has instinctive difference comparing with general question logic in the property of truth value 决策是问题的一种特殊类型,本文着重从问题逻辑的角度分析了决策的特殊的逻辑结构,并且得出,在真值性质上与一般问题逻辑有着显著的区别。 | | 4. | Using these algorithms , we can use computer mechanically to list truth value table of a group of propositional formulae , determine that if a given propositional formula is a tautology , a contradiction , or if the formula is satisfiable 给出了命题逻辑中任一命题公式的真值表的生成算法与命题公式类型的判定算法,实现了利用计算机对有限多个命题公式的真值表的直接计算和输出,以及对一个命题公式是重言式、矛盾式或可满足式的机械判定。 | | 5. | There are some approaches in logic topragmatics , such as situation theories and context logics . although these methods associate a sentence with a context or asituation , they consider only the truth value of the sentence . however , a sentence should have more meanings than its truthvalue , and people care more about what a sentence conveys 目前已经有一些逻辑方法试图对语用进行研究,如:情景演算和上下文逻辑。尽管这些方法把句子与其所处的上下文或情景进行了关联,但它们只考虑了句子的真假值。然而,句子的含义要比其真假值丰富得多,而且人们往往更关心句子在上下文中所表达的意思。 |
- Similar Words:
- "truth table tabulation" English translation, "truth table technique" English translation, "truth tables" English translation, "truth the" English translation, "truth to tell" English translation, "truth value conversion" English translation, "truth value matrix" English translation, "truth value of proposition" English translation, "truth value table" English translation, "truth verification inc" English translation
|
|
|