1) α-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的α-真度,研究α-真度与α-重言式的关系,推理规则以及真度值在[0,1]中的分布;把王国俊教授关于一维赋值格上的重言式理论和真度理论通过加上一定的约束条件推广并应用到二维赋值格上。
2) Σ-(α-Tautology)
∑-(α-重言式)
3) α(-|(a.e.)) tautology
α(-|(a.e.))重言式
4) conditional α-tautologies
条件α-重言式
1.
The notions of conditional α-tautologies of formulas in the propositional logic systems based on regular implication operators are proposed.
在基于正则蕴涵算子的命题逻辑系统中给出了公式的条件α-重言式的概念,讨论了它们的性质,并分别在Lukasiew icz逻辑系统、Go¨del逻辑系统、乘积逻辑系统、L*逻辑系统及相应的n值逻辑系统中研究了条件α-重言式的分布。
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.
真值表、归谬赋值、真值树、演绎证明和范式等方法是数理逻辑命题演算中重言式的判定 (或证明 )方法 ,但不是传统命题逻辑推理式的判定方法 。
补充资料：重言式
重言式
tautology
重言式[tautd优毖:T，To二or“，] 一个真假值(truth vai优)恒为真的命题演算公式，它的真假值不依赖于它的命题变元的真假值是“真”或者“假”.例如:A OA，AV门A，(A二B)。(门B，二A). 一般地，通过验证所有命题变元真假值的有限个组合，就可以判定一个命题演算的公式是不是重言式.B.H.rp，。，H撰
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条