人们通常认为，闭合论是重言式。
本文首次对泛逻辑的广义重言式理论进行研究。
Generalized tautologies theories of universal logic are studied for the first time.
命题显示它们所说的东西，重言式和矛盾式则显示它们什么也役有说。
Propositions show what they say; tautologies and contradictions show that they say nothing.
在第一种情况下，我们称这命题为重言式，在第二种情况下，称这命题为矛盾式。
In the first case we call the proposition a tautology; in the second, a contradiction.
在第一种情况下，我们称这命题为重言式，在第二种情况下，称这命题为矛盾式。
In the first case we call the proposition a tautology; in the second, a contradiction.
应用推荐