查询词典 propositional algebra

And it is easy to see that the propositional sign in 4.442 expresses a single truth-function of elementary propositions even when 'p' and 'q' are truth-functions of elementary propositions.

容易看出，即使&p&和&q&是基本命题的真值函项，4.442中的命题记号也仍然是表达基本命题的一个真值函项。

They are not only sound and complete 3-valued logical systems, but also complete in the content of the propositional connectives.

MP〓和MF〓分别由20条和26条推理规则组成，是命题联结词含量完全且可靠和完备的三值逻辑系统。

Propositional rhetoric is to found a new semantic pertinence so as to reduce this syntagmatic deviance.

命题修辞就是建立一种新的语义切题从而将这一横组合变异简化，而这一切题又从纵聚合的词汇变异得到保障。

Using the main result, we also obtain a simple criterion to check if a given C(superscript *)-algebra A is Abelian, that is, A is Abelian if and only for any two positive elements a, b∈A, there is a'∈A such that ab=ba'.

利用文中的主要结论，还得到了判断C-代数A是交换一个简单条件，即A是交换的当且仅当对A中的任何两个正元a，b存在a'∈A使得ab=ba'。

Using the main result, we also obtain a simple criterion to check if a given mathrm C^*-algebra A is Abelian, that is, A is Abelian if and only for any two positive elements a, bin A, there is a'in A such that ab=ba'.

利用文中的主要结论，还得到了判断 mathrm C^*-代数 A 是交换一个简单条件，即 A 是交换的当且仅当对 A 中的任何两个正元 a， b 存在 a'in A 使得 ab=ba'。

Group is an important concept in Modem Algebra. Viewed from a different angle it may be divided into two different categories: finite group and infinite group; and Abelian group and non-Abelian group.

群是《近世代数》的一个重要概念，从不同的角度出发，群可以分为有限群和无限群两大类，又可以分为交换群和非交换群两大类。

This is the field of abstract algebra .

这是抽象代数领域。

This situation is much like that of the mathematics student trying to understand abstract algebra.

这种情况很像当年的学生在了解数学抽象代数。

The concepts of variable, function and their application are the kernels of algebra abstract thought.

变量和函数的观念及其运用又是代数抽象思维中最核心的部分。

A abstract algebra group composed of one element is the highest abstraction of the mathematical models researched in this paper.

一阶的有限群是对本文研究的初等代数运算描述的数学模型的最高形式的抽象。

It has to be computed by the host for the actual clock rate.

主控制器可以用来计算实际的时钟速率。

Let's see what you got.

让我看看你的东西