tautology

形容词：

形容词: tautological

更多词形：

形容词: tautological | 副词: tautologically | 名词复数: tautologies |

单词例句：

Confucian culture in the background, history of Guan Yu has been regarded as a "tautology Connaught, speaking Lutheran" model.

在儒文化这一大背景下，关羽被历代视为“重言诺，讲信义”的典范。

The interpretation of nominal tautology requires metonymic reasoning.

同语的理解需要运用转喻推理。

Every tautology itself shows that it is a tautology.

每个重言式本身表明它是一个重言式。

Some propositions are true for any truth value of their variables. Such propositions are called tautology.

某些命题对于变元后的任何一种真值状况，它均为真，这样的命题称为重言式。

Using these algorithms, we can use computer mechanically to list truth value table of a group of propositional formulae, determine that if a given propositional formula is a tautology, a contradiction, or if the formula is satisfiable.

给出了命题逻辑中任一命题公式的真值表的生成算法与命题公式类型的判定算法，实现了利用计算机对有限多个命题公式的真值表的直接计算和输出，以及对一个命题公式是重言式、矛盾式或可满足式的机械判定。

The interpretation of nominal tautology can be based on the conceptual metonymy which is an important theory in cognitive linguistics.

同语的含义是可以推导的，其推导机制可以用认知语言学的概念转喻理论来加以阐释。

If tautology or contradiction. it only shows that "Forever True" or "False Forever" it shows that the "Satisfactible" and the sequence of the variable name, and user interaction.

若是重言式或矛盾式，可以只显示“True Forever”或“False Forever”，否则显示“Satisfactible”以及变量名序列，与用户交互。

The tautology used by Marx in this explanation is that each industry contributes to the total surplus its entire output minus the amount used up in supporting labor.

马克思在解释中反复说到的是，每一个产业部门都对剩余价值总额有贡献，其贡献是它的整个产出减去为用来维持劳动力而消耗掉的量。

142 A tautology follows from all propositions: it says nothing.

142重言式从一切命题得出来：它什么也没有说。