1·The proposition and classification of propositional forms are a very complicated problem.
命题及命题形式的分类是一个相当复杂的问题。
2·The intentional realist argument made by symbol computationalists is to show that propositional attitudes with semantic properties are causally efficacious.
符号计算主义的意向实在论论证的要点，是表明具有语义性质的命题态度的因果效力。
3·Stoicism denies anything immaterial and tries to explain the world through propositional logic.
斯多噶学派否认任何非物质的，并试图通过命题逻辑来解释世界。
4·This paper introduces a method for propositional logic calculation.
介绍了命题逻辑演算方法。
5·The concept of revelation in history as an alternative to propositional revelation on the one hand or general revelation on the other did not prove successful.
的概念在历史上的启示作为替代命题的启示一方面或一般性的启示其他没有证明是成功的。