重言式

Lukasiewicz区间值命题逻辑的广义重言式

Generalized Tautology of Lukasiewicz Interval-valued Propositional Logic System

修正的Kleene系统中子代数的广义重言式理论

Theory of generalized tautology in sub-algebras of revised Kleene system

并进而指出一个命题必须在没有任何条件的情况下满足“aRbv～aRb”，这个重言式命题。

And further pointed out that a proposition must meet the " aRb to aRb " without any conditions , this tautology proposition .

最后讨论了Lukasiewicz多值逻辑系统与经典二值逻辑系统中重言式之间的关系。

At the last , discussed the relations of the tautology between Lukasiewicz many valued logic system and classical two valued system .

第二部分：利用McNaughton函数，研究了Lukasiewicz逻辑系统中的可达广义重言式。

In the second chapter , the accessible generalized tautologies in Lukasiewicz logic system are studied by means of McNaughton function .

还证明了在Lukasiewicz逻辑系统中，重言式可由对非重言式进行有限次升级算法得到。

In addition , the theorem that a tautology can be got by using upgrade algorithm to non-tautologies within finite times in Lukasiewicz logic system is proved .

重言式、逻辑规律与准逻辑悖论

Tautology , Basic Laws of Formal Logic and Semi-paradox of Logic

t-模与蕴涵算子的同构及广义重言式理论

Isomorphisms of t-norms and Implication Operators and Theory of Generalized Tautologies

它既可以判定一个命题公式是重言式、矛盾式或协调式，也可以判定命题推理是否有效。

It can judge if a proposition is valid .

本文首次对泛逻辑的广义重言式理论进行研究。

Generalized tautologies theories of universal logic are studied for the first time .

区间值模糊命题逻辑的最大子代数及其广义重言式

The Largest Subalgebra and Its Generalized Tautology in Interval Valued Fuzzy Propositional Logic

人们通常认为，闭合论是重言式。

People usually think that closure theory is tautology .

扰动模糊命题逻辑及其广义重言式

Disturbing Fuzzy Propositional Logic and Its Generalized Tautology

从语用修辞角度解读重言式

Interpreting Tautology from Angles of Pragmatics and Rhetoric

前者是重言式的，后者是经验有限的。

The former is tautological , and the latter is finite within the experience .

蕴涵重言式不是推理式。

Implication tautology is not reasoning form .

研究结果表明，该系统中只有三种不同的广义重言式。

The results show that the system only has three different classes of generalized tautologies .

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

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

对泛逻辑的广义重言式理论进行了研究，给出了基于零级泛与运算的广义重言式的一系列性质。

A series of properties of generalized tautologies of universal logic based on the0-level universal AND operators is discussed .

重言式在会话中非常普遍而且具有鲜明的特色和交际价值。

Tautology , which is widely used in speech act , is of outstanding features and specific value in communication .

重言式在日常生活和文学作品中广为运用而且具有鲜明的特色和交际价值。

Reduplication is a widely used device both in everyday life and literary works with its distinctive characteristics and communicative value .

闭合论不是重言式&当代西方知识论对怀疑主义的重要论证方式的批判

The Closure Theory of Knowledge Is Not Tautology : Criticism of Contemporary Western Epistemology on the Important Mode of Skeptical Argument

本文首先从有限区间值模糊命题逻辑出发，讨论其逻辑代数及广义重言式的性质；

In this paper , the logical algebra and the properties of generalized tautology are discussed in Limited Interval-Valued Fuzzy Propositional Logic ;

如果能证明该蕴涵式为重言式，那么其数学命题的证明推理形式就是正确的。

If the containing type can be proved to be heavy speech type , the method of the mathematical proposition proving and reasoning is correct .

重言式在逻辑系统的应用中起着重要的作用。

Tautologies play a significant role in logic applications , a - Tautologies and F - Tautologies in some lattice valued logic systems whose truth-value lattice are products of lattice implication algebra are discussed .

在此基础上给出一机器能行算法，把排中律等值置换成任一重言式，证明任一命题逻辑内定理。

It is able to change the law of excluded middle into all kinds of tautology through applications of the rule of equivalent replacement , and to prove all the inner theorems of propositional logic .

证明了在该逻辑系统中对每个无理数α而言，不存在可达α重言式，且对每个实数α而言，不存在可达α+重言式；

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 ;

本文列举了一些重言式的应用实例，从语用学的角度分析发话人使用重言式的交际意向，总结出重言式的四种语用修辞特点。

In this paper , the author , from a pragmatic point of view , analyses the speaker 's intention supported with quantities of examples taken from actual life , and concludes the paper with four of its rhetorical features .

真值表、归谬赋值、真值树、演绎证明和范式等方法是数理逻辑命题演算中重言式的判定（或证明）方法，但不是传统命题逻辑推理式的判定方法。

Truth table , value assignment of reduction to absurdity , truth tree , deductive argumentation and normal form etc. are the methods of judging ( or proving ) tautology in propositional calculus of mathematical logic , but not that of judging inference formula in traditional propositional logic .

另外，我们还将在一些多值逻辑系统和模糊逻辑系统中行之有效的升级算法运用于该系统，证明了在该系统中对非重言式有限次利用升级算法未必能得到重言式。

In addition , the well-known upgrade algorithm used in many multi-valued logic systems and fuzzy logic systems are also used in the system . Our conclusions show that generally speaking , tautologies can not be derived from non-tautologies by repeatedly applying the upgrade algorithm finite times . 3 .