但尽管这一论证简单而明显的，却不能用句子逻辑理论证明它。
But this argument, simple and obvious as it is, cannot be proved using only the resources of sentential logic.
排中律是思维的基本规律之一，它构成古典逻辑中所有证明的基础。
The law of excluded middle is one of the basic laws of thought, which underlies all demonstrations in the classical logic.
它只能被证明是有用的，它可以获得“科学共同体”的接受，部分因为它的它的逻辑一致性和事实性的支持。
It can merely be demonstrated to be useful, and it can gain acceptance from the science establishment partly because of its logical consistency and factual support.
探讨了模态逻辑系统s5的运算子性质，进而证明关于它的本原运算子集的一个定理，并给出一些推论。
The properties of the operators of modal logic system S5 is investigated, then a theorem is proved about its primitive operator set, and some corollaries are given.
探讨了模态逻辑系统s5的运算子性质，进而证明关于它的本原运算子集的一个定理，并给出一些推论。
The properties of the operators of modal logic system S5 is investigated, then a theorem is proved about its primitive operator set, and some corollaries are given.
应用推荐