查询词典 logically true proposition

Triangular norms are a common form of conjunction operator to a real number based representation of the true value of a compound fuzzy proposition.

对基于单一数值表达的模糊命题间的合取、析取关系的最一般运算形式是三角范数和三角余范数。

The proposition formula true value production algorithm research is studies the inference the automation foundation.

命题公式真值生成算法研究就是研究推理的自动化的基础。

At first, in this paper, the concept and type were introduced; afterwards, how to apply counter-examples in the higher mathematics was expatiated particularly in such aspects: concept、theorem、rule、formula and distinguishing true and false of the proposition; Finally, the construction of counter-examples was explored using special example、character、the method of approach as well as intuitional geometrical graphics.

本文首先简要介绍了反例的概念和类型；然后从概念、定理、法则、公式以及判别命题真假等几个方面，详细阐述了在高等数学中如何应用反例；最后，从利用特例、性质，采用逼近的方法以及直观的几何图形几个方面探讨反例的构造。

A moral proposition that is true must be one that is not tied to any particular conditions.

如果谋杀是不道德的，那么不管是谁，都是不道德的。如果有任何特例，那么就不能下结论。

If true, then this proposition would be meaningless.

如果真，那么这个命题就会是无意义的。

In one of these cases the proposition is true for all the truth-possibilities of the elementary propositions.

一种情况是，一个命题对于所有基本命题的真值可能性都为真。

An epistemic proposition is true if and only if it is a member of corresponding world.

一个认知命题是真的，当且仅当它属于相应的认知世界之中。

However, for me,"was rejected by workers," seems to have become a true proposition.

可是，对于我"劳而不获"，似乎就成了一个真命题。

06 A proposition can be true or false only in virtue of being a picture of reality.

4.06 命题只困为是实在的图像，才能为真或者为假。

A contingent proposition may be true and may equally be false.

一个偶然的命题可能是正确的，也同样可能是错误的。

The system can be widely used in belt weighing and batching process control,etc.

介绍了基于智能模糊控制的嵌入式配料系统的设计方法，对模糊PID控制过程和系统调零作了重点的讨论，同时给出了PID控制的程序流程图和系统定长调零子程序。

"I dunno," she answered,"but if you show me aroun', I'll recognize it from the lighthouse just outside the porthole."

"我不知道，"她回答说，"如果你能带我转转，我能认出来的，因为灯塔就在舷窗外。"