在最普遍意义上说，分离命题只是拒绝了自然主义的重叠命题；
The Separability Thesis, at the most general level, simply denies naturalism's Overlap Thesis;
通过分析奥斯丁、凯尔森以及哈特三人理论的共同点，我认为，坚持法律与道德之间不存在必然关系的分离命题是某一理论得以称为实证主义的主要条件。
Through research the theory of John Austin, Hans Kelsen, and Hart, the Separation Thesis is the key to understanding positivism, which object the necessary connection between law and morality.
第3条，把讨论的目的分离开看，就成为一个单命题。
Now, to consider 3 in any form is again to separate out the purposes of discussion an aspect of what is in the end a single thesis.
为此，定义了命题公式的正变换和负变换，以便分离一个文字与其否定的语义联系。
To this end, the positive and negative transformations of propositional formulas are defined such that the semantic link between a literal and its negation is split.
证明：由公理模式和分离规则构成的命题逻辑公理系统不具有语法完全性。
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.
证明：由公理模式和分离规则构成的命题逻辑公理系统不具有语法完全性。
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.
应用推荐