人们通常认为，闭合论是重言式。
重言式和矛盾式不是实在的图像。
每个重言式本身表明它是一个重言式。
应用于重言式和矛盾式。
本文首次对泛逻辑的广义重言式理论进行研究。
Generalized tautologies theories of universal logic are studied for the first time.
“证明这个定理”就是要证明这个蕴涵式是一个重言式。
To "prove the theorem" means to show that the implication is a tautology.
重言式在会话中非常普遍而且具有鲜明的特色和交际价值。
Tautology, which is widely used in speech act, is of outstanding features and specific value in communication.
命题显示它们所说的东西，重言式和矛盾式则显示它们什么也役有说。
Propositions show what they say; tautologies and contradictions show that they say nothing.
如果能证明该蕴涵式为重言式，那么其数学命题的证明推理形式就是正确的。
If the containing type can be proved to be heavy speech type, the method of the mathematical proposition proving and reasoning is correct.
某些命题对于变元后的任何一种真值状况，它均为真，这样的命题称为重言式。
Some propositions are true for any truth value of their variables. Such propositions are called tautology.
逻辑中的证明只是一种使得在复杂的情况下易于辨识重言式的机械的便利方法。
Proof in logic is merely a mechanical expedient to facilitate the recognition of tautologies in complicated cases.
在第一种情况下，我们称这命题为重言式，在第二种情况下，称这命题为矛盾式。
In the first case we call the proposition a tautology; in the second, a contradiction.
首先以蕴涵算子为基础从有限扰动模糊命题逻辑出发，讨论其逻辑代数及广义重言式的性质。
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.
首先以蕴涵算子为基础从有限扰动模糊命题逻辑出发，讨论其逻辑代数及广义重言式的性质。
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.
应用推荐