命题显示它们所说的东西，重言式和矛盾式则显示它们什么也役有说。
Propositions show what they say; tautologies and contradictions show that they say nothing.
本文首次对泛逻辑的广义重言式理论进行研究。
Generalized tautologies theories of universal logic are studied for the first time.
本文首次对泛逻辑的广义重言式理论进行研究。
Generalized tautologies theories of universal logic are studied for the first time.
应用推荐