悖论的逻辑地位的确立,为逻辑结构从完全性结构向不完全性结构转型提供了必要的说明。
The establishing of paradox logical position, provide necessary explanation for the logic structure from the complete nature structure to the incomplete nature structure.
这些系统虽然有漂亮的完全性,但都含有一些道义逻辑悖论。
Although these systems have perfect completeness, they all contain deontic logic paradoxes.
证明:由公理模式和分离规则构成的命题逻辑公理系统不具有语法完全性。
And I prove the formal axiomatic system of prepositional logic that is made up of axiomatic Mode and the Rule of Detachment does not possess syntactic perfectibility.
应用推荐