1·To "prove the theorem" means to show that the implication is a tautology.
“证明这个定理”就是要证明这个蕴涵式是一个重言式。
2·Tautology, which is widely used in speech act, is of outstanding features and specific value in communication.
重言式在会话中非常普遍而且具有鲜明的特色和交际价值。
3·Some propositions are true for any truth value of their variables. Such propositions are called tautology.
某些命题对于变元后的任何一种真值状况，它均为真，这样的命题称为重言式。
4·The book Zhuang Zi shows the trinity of fable, randomness and tautology, which is different from the signified of conceptual thinking but is the signifier with implied meanings.
《庄子》之文诗意表达是寓言、卮言、重言三位一体。 这种三位一体，不同于概念思维规定性之所指的表达，而是作为寓旨性之能指的表达。
1·People usually think that closure theory is tautology.
人们通常认为，闭合论是重言式。
2·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.
首先以蕴涵算子为基础从有限扰动模糊命题逻辑出发，讨论其逻辑代数及广义重言式的性质。