查询词典 tautology

Although it is not tautology of analytic proposition,it is a priori knowledge.So we can say Leibniz has putforwards the a priori synthetic proposition before Kant in an unclear way.

而原始的事实真理的提出则是莱布尼茨超越近代的直觉学说的地方，这种原始的事实真理不是同义反复的分析命题（至少对于人的有限的心智而言不是），而又具有某种直接的先验性，可见莱布尼茨已先于康德以一种不十分明显的方式提出了先天综合判断的问题。

WT9.BZ: Theory of generalized tautology in logic system , W and W k is generalized and applied to Lukasiewicz logic system. The main results are as follows: congruence about on set of logic formulas F has been obtained in the system; it is proved that in this system, for any irrational number α, there does not exist accessible α-tautology; and for any real number α, there does not exist accessible α+-tautology; and the relation theorems have been given between categori...

将逻辑系统 W ，W ，Wk 中的广义重言式理论进行推广并应用到Lukasiewicz逻辑系统中，主要结果是：得到了逻辑公式集F在该系统中关于﹁同余的分划；证明了在该逻辑系统中对每个无理数α而言，不存在可达α重言式，且对每个实数α而言，不存在可达α+重言式；给出了广义重言式、广义矛盾式各类之间的关系定理。

By a tautology on L we mean a finite expression formed from variables and the lattice operation signs ∪,∩,′ that equals to I identically on L.

正文中谈到了问题的逻辑来源。

Fuzzy logic ; proposition calculus ; accessible α+ tautology ;α contradiction ; upgrade algorithm ; partition

模糊逻辑；命题演算；可达α~+-重言式；α-矛盾式；升级算法；分划

The concept of relative Γ-tautology degree of formulas in four important propositional logics, Lukasiewicz logic, L(superscript *) logic, Gdel logic and product logic, has been proposed, and basic properties of it are obtained.

基于广义重言式理论，在四种重要的命题逻辑系统Lukasiewicz系统，L系统，Gdel系统和Ⅱ系统中，引入了公式的相对Γ-重言度概念，给出了相对Γ-重言度的若干性质。

It arises only when people explain the true of material implication with a certain phrase,or when some possibilities are achieved due to the inevitability of tautology implication formula,or when some actural inference is regarded as implication relation.T...

当人们把实质蕴涵的真用某一语句进行解释，或者由重言蕴涵式的必然性得到某种可能性，或者将某种实际的推论看作蕴涵关系时，怪论就可能会产生。蕴涵怪论的存在是实实在在的，试图消除蕴涵怪论的努力促进了蕴涵理论的发展。

What is the meaning of tautology?

多重的意义是什么？

In other cases, new classical interpretation is only tautology.

在其他的情形中，新古典的解释只不过是同义反复。

Tautology is, in fact, an essential ingredient of stable systems.

真的是这样，实际上套套逻辑的内在规定性是稳定系统的一个基本要素。

Every tautology itself shows that it is a tautology.

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

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。