The result of the logical negation operator!
的逻辑否定运算符的结果！
The realization of the basic And, Or and Negation fuzzy logical operations is shown by the fuzzy neuron.
模糊逻辑的基本与、或、非运算分别由一个模糊神经元实现。
We introduce an indexed dynamic logic, give logical characterization of the concepts of practice and degree of action and negation by action by it and its variations.
文章建立了几类动态系统来刻画动态否定概念，并引入相应的语义，然后证明这些系统相对这些语义是可靠和完全的。
We introduce an indexed dynamic logic, give logical characterization of the concepts of practice and degree of action and negation by action by it and its variations.
文章建立了几类动态系统来刻画动态否定概念，并引入相应的语义，然后证明这些系统相对这些语义是可靠和完全的。
应用推荐