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.
命题显示它们所说的东西，重言式和矛盾式则显示它们什么也役有说。
Propositions show what they say; tautologies and contradictions show that they say nothing.
命题显示它们所说的东西，重言式和矛盾式则显示它们什么也役有说。
应用推荐