在第一种情况下，我们称这命题为重言式，在第二种情况下，称这命题为矛盾式。

In the first case we call the proposition a tautology; in the second, a contradiction.

youdao

在第一种情况下，我们称这命题为重言式，在第二种情况下，称这命题为矛盾式。

In the first case we call the proposition a tautology; in the second, a contradiction.

youdao