1) α(-|(a.e.)) tautology
α(-|(a.e.))重言式
2) α-tautology
α-重言式
1.
The truth degree of Intuitionistic Fuzzy Propositional Logic formula is defined by probability measure,the relation of α-truth degree and α-tautology is researched.
利用概率测度来定义直觉模糊命题逻辑公式A的α-真度,研究α-真度与α(-|(a.e.))重言式的关系,推理规则以及真度值在[0,1]中的分布;把王国俊教授关于一维赋值格上的重言式理论和真度理论通过加上一定的约束条件推广并应用到二维赋值格上。
3) Σ-(α-Tautology)
∑-(α-重言式)
4) conditional α-tautologies
条件α-重言式
1.
The notions of conditional α-tautologies of formulas in the propositional logic systems based on regular implication operators are proposed.
在基于正则蕴涵算子的命题逻辑系统中给出了公式的条件α(-|(a.e.))重言式的概念,讨论了它们的性质,并分别在Lukasiew icz逻辑系统、Go¨del逻辑系统、乘积逻辑系统、L*逻辑系统及相应的n值逻辑系统中研究了条件α(-|(a.e.))重言式的分布。
5) accessible α-tautology
可达α-重言式
6) tautology
[英][tɔ:'tɔlədʒi] [美][tɔ'tɑlədʒɪ]
重言式
1.
By the subalgebra theory classification theorem of tautology in Many-valued Logic System Hα has been discussed,which has laid a foundation for the systemHα in its further research.
借助子代数理论,研究了多值逻辑系统Hα中的重言式分类定理,为系统Hα的进一步研究奠定了基础。
2.
Their properties including theories of tautology and quasi tautology are researched.
介绍了 3种真值集为非线性序集的 4值逻辑系统的┐ ,∨ ,∧运算及蕴含算子→ ,并研究了它们的性质及重言式理论、准重言式理论 ,得到一些结论 。
3.
are the methods of judging(or proving) tautology in propositional calculus of mathematical logic,but not that of judging inference formula in traditional propositional logic.
真值表、归谬赋值、真值树、演绎证明和范式等方法是数理逻辑命题演算中重言式的判定 (或证明 )方法 ,但不是传统命题逻辑推理式的判定方法 。
补充资料：重言
指两个相同的汉字重叠在一起。重言通常是一个词。从字上来说，也称为"叠字"。古人称一字为一言。如《史记·老庄申韩列传》说老子著书五千言，五千言就是五千字。重言的名称见于明代方以智《通雅·释诂》,后来一直沿用。清代王筠有《毛诗重言》一书,专讲《诗经》中的重言。
在《诗经》里，两字重叠为一个词的很多，或摹仿物的声音，或形容事物的形貌状态。如"关关"状鸟鸣，"呦呦"状鹿鸣，"喓喓"状虫鸣,"丁丁"状伐木声；"依依"形容杨柳枝叶摇曳，"楚楚"形容衣服鲜明闪光，"蹲蹲"形容舞蹈之状，"迟迟"形容行路舒缓之状都是。物的发声和物的动作姿态经常是持续重复的,所以在语言里就采用重言来表示，这是汉语所有的特殊的东西。发展起来，也就成为一种修辞上加重意思的手段。如"洋洋得意"、"姗姗来迟"、"夸夸其谈"、"岌岌可危"、"茫茫一片"、"惶惶不安"等等。
普通话口语里的亲属称呼也大都是重言，可能也是由表示声音的重复而来。如"爸爸"、"妈妈"、"姐姐"、"妹妹"、"哥哥"、"弟弟"、"爷爷"、"奶奶"、"姑姑"、"舅舅"都是如此。这些词第二个音节一般都读为轻声。"姐姐"、"奶奶"第二音节的音调变为半上。
在《诗经》里，两字重叠为一个词的很多，或摹仿物的声音，或形容事物的形貌状态。如"关关"状鸟鸣，"呦呦"状鹿鸣，"喓喓"状虫鸣,"丁丁"状伐木声；"依依"形容杨柳枝叶摇曳，"楚楚"形容衣服鲜明闪光，"蹲蹲"形容舞蹈之状，"迟迟"形容行路舒缓之状都是。物的发声和物的动作姿态经常是持续重复的,所以在语言里就采用重言来表示，这是汉语所有的特殊的东西。发展起来，也就成为一种修辞上加重意思的手段。如"洋洋得意"、"姗姗来迟"、"夸夸其谈"、"岌岌可危"、"茫茫一片"、"惶惶不安"等等。
普通话口语里的亲属称呼也大都是重言，可能也是由表示声音的重复而来。如"爸爸"、"妈妈"、"姐姐"、"妹妹"、"哥哥"、"弟弟"、"爷爷"、"奶奶"、"姑姑"、"舅舅"都是如此。这些词第二个音节一般都读为轻声。"姐姐"、"奶奶"第二音节的音调变为半上。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条