逻辑中的证明只是一种使得在复杂的情况下易于辨识重言式的机械的便利方法。
Proof in logic is merely a mechanical expedient to facilitate the recognition of tautologies in complicated cases.
首先以蕴涵算子为基础从有限扰动模糊命题逻辑出发，讨论其逻辑代数及广义重言式的性质。
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.
重言式在会话中非常普遍而且具有鲜明的特色和交际价值。
Tautology, which is widely used in speech act, is of outstanding features and specific value in communication.
应用推荐