说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 可达拟重言式
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撰
  
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条