1) arrival quasitautology
可达拟重言式
2) accessible α-tautology
可达α-重言式
3) exact generalized tautologies
可达广义重言式
4) ∑-generalized quasi-tautology
∑-广义拟重言式
1.
∑-generalized quasi-tautology on interval valued fuzzy logic system;
区间值模糊命题逻辑的∑-广义拟重言式
5) generalized quasi-tautology
广义拟重言式
1.
In this paper,an interval-valued Fuzzy Propositional Logic System is built by definging an→_S-implication and the classification of generalized quasi-tautology in this system is discussed.
通过定义规范区间值模糊命题逻辑的→S蕴涵算子,讨论了区间值模糊命题逻辑广义拟重言式的分类,获得了与王国俊的一维赋值格广义重言式理论类似的结果。
2.
In this system the classification of generalized quasi-tautology is discussed.
本文定义了规范区间和区间值模糊命题逻辑的→G蕴涵算子,研究了区间值模糊命题逻辑广义拟重言式及其分类。
6) relocatable expression
可重定位表达式
补充资料：重言式
重言式
tautology
重言式[tautd优毖:T，To二or“，] 一个真假值(truth vai优)恒为真的命题演算公式，它的真假值不依赖于它的命题变元的真假值是“真”或者“假”.例如:A OA，AV门A，(A二B)。(门B，二A). 一般地，通过验证所有命题变元真假值的有限个组合，就可以判定一个命题演算的公式是不是重言式.B.H.rp，。，H撰
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条