1) a-tautology
a-重言式
2) 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.
真值表、归谬赋值、真值树、演绎证明和范式等方法是数理逻辑命题演算中重言式的判定 (或证明 )方法 ,但不是传统命题逻辑推理式的判定方法 。
3) α-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]中的分布;把王国俊教授关于一维赋值格上的重言式理论和真度理论通过加上一定的约束条件推广并应用到二维赋值格上。
4) non-tautology
非重言式
5) Σ-(α-Tautology)
∑-(α-重言式)
6) quasi tautology
准重言式
1.
Their properties including theories of tautology and quasi tautology are researched.
介绍了 3种真值集为非线性序集的 4值逻辑系统的┐ ,∨ ,∧运算及蕴含算子→ ,并研究了它们的性质及重言式理论、准重言式理论 ,得到一些结论 。
补充资料：重言式
重言式
tautology
重言式[tautd优毖:T，To二or“，] 一个真假值(truth vai优)恒为真的命题演算公式，它的真假值不依赖于它的命题变元的真假值是“真”或者“假”.例如:A OA，AV门A，(A二B)。(门B，二A). 一般地，通过验证所有命题变元真假值的有限个组合，就可以判定一个命题演算的公式是不是重言式.B.H.rp，。，H撰
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条