1) 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蕴涵算子,研究了区间值模糊命题逻辑广义拟重言式及其分类。
2) ∑-generalized quasi-tautology
∑-广义拟重言式
1.
∑-generalized quasi-tautology on interval valued fuzzy logic system;
区间值模糊命题逻辑的∑-广义拟重言式
3) generalized tautology
广义重言式
1.
The Generalized Tautology in Disturbing Fuzzy Propositional Logic System;
扰动模糊命题逻辑系统中的广义重言式
2.
Algebraic structure of the disturbing fuzzy propositional logic and the properties of its generalized tautology;
扰动模糊命题逻辑的代数结构及其广义重言式性质
3.
The Largest Subalgebra and Its Generalized Tautology in Interval Valued Fuzzy Propositional Logic;
区间值模糊命题逻辑的最大子代数及其广义重言式
4) generalized tautologies
广义重言式
1.
A series of properties of generalized tautologies of universal logic based on the 0-level universal AND operators is discussed.
对泛逻辑的广义重言式理论进行了研究,给出了基于零级泛与运算的广义重言式的一系列性质。
2.
Generalized tautologies theories of universal logic are studied for the first time.
本文首次对泛逻辑的广义重言式理论进行研究。
3.
A series of properties of generalized tautologies of the central limit formal system of universal logic are discussed.
论文对泛逻辑的广义重言式理论进行研究,给出了泛逻辑的中极形式系统中的广义重言式的一系列性质。
5) exact generalized tautologies
可达广义重言式
6) GSL Generalized Simulation Language
广义模拟语言
补充资料：重言式
重言式
tautology
重言式[tautd优毖:T，To二or“，] 一个真假值(truth vai优)恒为真的命题演算公式，它的真假值不依赖于它的命题变元的真假值是“真”或者“假”.例如:A OA，AV门A，(A二B)。(门B，二A). 一般地，通过验证所有命题变元真假值的有限个组合，就可以判定一个命题演算的公式是不是重言式.B.H.rp，。，H撰
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条