“证明这个定理”就是要证明这个蕴涵式是一个重言式。

To "prove the theorem" means to show that the implication is a tautology.

youdao

应用于重言式和矛盾式。

Application of this to tautology and contradiction.

youdao

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

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

youdao