Please help us improve the quality of example sentences! Edit on Github

应用于重言式和矛盾式。Application of this to tautology and contradiction.

每个重言式本身表明它是一个重言式。Every tautology itself shows that it is a tautology.

Other words in sentence

人们通常认为，闭合论是重言式。People usually think that closure theory is tautology.

他的文章中经常出现重言，读来朗朗上口。Words were usually repeated in his article, which make it easy to read.

“证明这个定理”就是要证明这个蕴涵式是一个重言式。To "prove the theorem" means to show that the implication is a tautology.

本文首次对泛逻辑的广义重言式理论进行研究。Generalized tautologies theories of universal logic are studied for the first time.

某些命题对于变元后的任何一种真值状况，它均为真，这样的命题称为重言式。Some propositions are true for any truth value of their variables. Such propositions are called tautology.

Other words in sentence

它既可以判定一个命题公式是重言式、盾式或协调式，也可以判定命题推理是否有效。To learn using this way is specially important to judge the validity of determining proposition inference.

重言式在会话中非常普遍而且具有鲜明的特色和交际价值。Tautology, which is widely used in speech act, is of outstanding features and specific value in communication.

逻辑中的证明只是一种使得在复杂的情况下易于辨识重言式的机械的便利方法。Proof in logic is merely a mechanical expedient to facilitate the recognition of tautologies in complicated cases.

论文对泛逻辑的广义重言式理论进行研究，给出了泛逻辑的中极形式系统中的广义重言式的一系列性质。A series of properties of generalized tautologies of the central limit formal system of universal logic are discussed.

对泛逻辑的广义重言式理论进行了研究，给出了基于零级泛与运算的广义重言式的一系列性质。A series of properties of generalized tautologies of universal logic based on the 0-level universal AND operators is discussed.

Other words in sentence

重言式理论是各多值逻辑系统的一个重要组成部分。At the last, discussed the relations of the tautology between Lukasiewicz many valued logic system and classical two valued system.

在此基础上给出局部赋值的广义拟重言式定义，并在其中建立了升级算法。Then the ascent algorithm and generalized quasi- tautology are discussed in the part-valued 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.

重言式在日常生活和文学作品中广为运用而且具有鲜明的特色和交际价值。Reduplication is a widely used device both in everyday life and literary works with its distinctive characteristics and communicative value.

论述了英语重言修辞格的概念及其构成，分析了它的理解方法及其在运用中应该注意的问题。The concept and form of hendiadys were discussed, and the methods of understanding and using the hendiadys were also analysed in this paper.

Other words in sentence

首先以蕴涵算子为基础从有限扰动模糊命题逻辑出发，讨论其逻辑代数及广义重言式的性质。Firstly, on the basis of implication, originating from the limited Disturbing Fuzzy Propositional Logic, discusses its logic algebra and the properties of its generalized tautology.

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