您要查找的是不是:
- 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. 给出了命题逻辑中任一命题公式的真值表的生成算法与命题公式类型的判定算法,实现了利用计算机对有限多个命题公式的真值表的直接计算和输出,以及对一个命题公式是重言式、矛盾式或可满足式的机械判定。
- Function of truth value table in formal logic 真值表在形式逻辑中的功能
- Generating Algorithm of Truth Value Table and Type's Mechanical Decision to a Propositional Formula 命题公式真值表的生成与公式类型的机械判定
- One last thing worth mentioning is the truth value of expressions. 最后一件值得提起的事情就是表达式的真实值。
- Some propositions are true for any truth value of their variables. Such propositions are called tautology. 某些命题对于变元后的任何一种真值状况,它均为真,这样的命题称为重言式。
- Negators: A negator is a function adaptor that reverses the truth value of a predicate function object. 求反器,是一种函数适配器,它将谓词函数对象的真值求反。
- Hexagrams form a perfect double-value logic system, in which every hexagram is equal to a true value table. 易卦是一种完备的二值逻辑体系,每一个卦象就是一组真值表。
- Still I have a lot to perish, to dream, not exclusivly on GPAs etc.So just sink the bigot mind, coming to the realization of the truth value of life. 再着,就是杀蛙了,一切照步骤,后来值得一说的就是不要将腹壁上的肌肉剪得过度了,上面有比较热情的动脉,出血很严重,以后的视野也就从此血糊琳琳了。
- Traditional grammar studies English conditionals in terms of truth value and logic while pragmatics from the angle of speech acts and speech meta-representation. 英语条件式在传统语法里是从真实值和逻辑的角度去分类研究的,在语用学里则是从言语行为、言语元表征的角度来加以研究。
- In two-dimensional presuppositional logic, the evaluation of each sentence contains the truth value of the sentence and the presupposition value of the sentence. 在二维预设逻辑中,每个句子的赋值是二维的,包含句子本身的真值和句子预设的真值。
- Discourse markers are a linguistic component which does not exert any effect on the truth value of the Utterance but expresses attitudinal and procedural meanings. 摘要话语标记语是在语言中不影响句子真值、只表达态度或步骤意义的语言成分,是说话人为引导和制约听话人正确理解话语而选择的语言手段。
- In the value table the measured data, which are shown in the graphic, were shown as values. 在数值表里,如图所示,测出的数据对应其值。
- This study suggests a admissible load designing method, which leads out a series of calculating formulas based on the parabola theory and works out a value table for loaded rope to establish a systematic admissible load designing method. 本文提出许用荷重设计法,在抛物线理论的基础上推导出一系列计算公式,编制承载索数值表,建立起系统的许用荷重设计方法。
- He tried to varnish over the truth with a lie. 他试图用谎言来掩盖真相。
- If null values are included in a comparison, you cannot negate the expression to get the opposite set of rows or the opposite truth value. 如果比较中包括空值,则您不能对表达式进行否定以得到相对的一组行或相反的真假值。
- The wild values deviating from the target truth values often occur in the safety monitoring of dams. 摘要大坝安全监测中常会出现偏离目标真值的野值。
- It is discovered that the truth values change cyclically by analysis of the paradox proposition. 通过对悖论性命题的仔细分析,发现这些命题的真值会发生周期性的变化。
- The table d'hote menu offers good value. 定餐菜单上列出的都很实惠。
- There is an empiricist tradition which denies truth values to counterfactuals and says that they express policies or attitudes. 有一种经验主义的传统,它怀疑反事实的真值,并且说他们表明了一种方针或者态度。
- Now you see I was telling yow the truth. 现在你明白我对你讲的是真话了。