2) sub-fuzzy formulas
亚模糊命题
1.
The concept of sub-fuzzy formulas was introduced.
引入了亚模糊命题的概念。
3) compound fuzzy propositions
复合模糊命题
1.
During the development of fuzzy expert system and fuzzy control systems,we should deal with the aggregation atomic propositions in compound fuzzy propositions.
结果表明,文中给出的弱逻辑拟三角模算子可以在不同应用背景下,有效地处理不同类型的复合模糊命题真值运算,也可以在其它的模糊系统中有效处理多个模糊子集之间的聚集运算。
5) both-branch fuzzy proposition
双枝模糊命题
1.
Proceeding with both-branch fuzzy proposition,the paper provides the characteristics of both-branch fuzzy logic and its expressions,Disjunctive Normal Form and Conjunctive Normal Form of both-branch fuzzy logic expressions.
从双枝模糊命题入手,给出双枝模糊逻辑的性质和双枝模糊逻辑公式,以及双枝模糊逻辑的析取范式与合取范式。
6) Fuzzy Propositional Calculus
模糊命题演算
1.
The formal deductive system L * for fuzzy propositional calculus and the revised Kleene logic system 、W、W k, that are relevant to the former in semantics, have been studied, both of which are first proposed by Professor Guo jun Wang.
研究了模糊命题演算的形式演绎系统L 以及在语义上相关的修正的Kleene逻辑系统 W ,W ,Wk 和R0 代数 ,讨论了算子 :F(S)×F(S)→F(S)的一些基本性质 ,给出了L 系统中的模糊演绎定理 。
补充资料：否命题
如果两个命题中一个命题的条件和结论分别是另一个命题的条件和结论的否定，则这两个命题称互为否命题。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条