2) tautology
[英][tɔ:'tɔlədʒi] [美][tɔ'tɑlədʒɪ]
恒真命题;恒真式
3) λ constantly true
λ-恒真
4) fuzzy true
模糊恒真
1.
In the discussion of the meanning of the word,stochastic logic,all axions in the standard proposition calculations system are all fuzzy true but the theorems of this system are not all fuzzy true.
得出了在随机逻辑的词义问题中 ,标准命题演算系统的每条公理在随机逻辑中都是模糊恒真的 ,但标准命题演算系统的定理 ,在随机逻辑中却不都是模糊恒真
5) true level
恒真水平
1.
Based on the boolean operator Fuzzy Logic, It is proved that the true levels ofpropositions keep nondecreasing in reasoning and meanwhile the false levels remain unvaried.
在布尔算子模糊逻辑中，证明了前提的不确定性在推理过程向结论传播时，恒真水平呈递增趋势，而恒假水平保持不变的特性。
6) eternal truth
永恒真理
1.
“Scepticism” and “outlook of eternal truth”,which were the derivative form believed by him and contained their own limitations bu t provided a new visual angle for our cognition.
他批判传统真理观中的“符合论”、“怀疑论”和“永恒真理观” ,认为它们是源始真理的衍生样式 ,虽然有自己的局限性 ,但也为我们的认识提供了一个新的视
补充资料：恒真
恒真
identical truth
恒真【通别比习加川.;功料eeoe。。.，c，，。oeT‘l亦称永真，逻辑真(fogical仃刀月1)，重言式(协刊助幻留) 谓词演算语言中公式的一个性质，意指公式在任何解释和在自由变元的任何容许赋值下为真.例如，对一个仅含二元谓词符号p和同一种变元(即在同一个变化域中解释的变元)，任何一个(有序)对(M，R)都称为一个解释(加记印茂白石。n)，这里M是个任意非空集合，R住M xM是M上的任意二元关系.M中任何元素都是自由变元的容许值.公式毋(x:，…，x。)在变元x:，…，x。(叮)0)的相应赋值a、，…，a。(。)0)下为真，这可依公式结构归纳地定义如下.(这里自由变元取遍集合M，而谓词符号p表示关系R.) 假设给定公式甲以及包含伊的所有自由变量的有限变元序列又二(x:，…，x。)，设集合}侧到由所有使得(x:，…，x。)被赋值以(a、，…，a。)时中在解释(M，R)之下为真的那些M中元素序列(aJ，…，a。)构成.形如】价;到的集合可归纳地构造如下(这里假定中中的逻辑符号是八，，，日):如果伊具有形式p(x‘，xj)，则 {中;又卜{(a.，一，a，):(a，，aj)〔R}; 冲1八甲2;到=}甲:;到门1毋2;到; }，职;又卜M”\}甲;又{; !日夕职;又l=Pr。十:}p;又夕!，其中自八，Pr。+l分别表示集合的交、差和沿第。十1个坐标的投影(即关于映射(a，，…，a。，a。+，)巨(a:，…，a。)的象). 这时，含自由变元x，，…，x。的公式沪的恒真(jden石G习位u由)意指在任何解释(M，R)之下每个M中元素的序列(al，…，a。)都属于集合l势;x.，·‘’，x。}.对于n二o，集合}印;到或为空集或为单元集.例如，公式 日夕丫xp(x，y)。丫x日夕p(x，夕)是恒真公式，但反方向的蕴涵不是恒真公式. 固定一种解释后，如果一个公式在自由变元的任何赋值下在此解释下都为真，那么有时也说该公式恒真.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条