释义 |
命题逻辑mìngtíluójipropositional logic命题逻辑分析复合命题所包含的命题成分,着重研究命题连接词的性质而导出有关逻辑形式和规律的逻辑理论。与“词项逻辑”相对propositional logic王浩仅用三分钟时间,就证明了怀特海《数学原理》中多条有关命题逻辑的证明。 In just three minutes Wang Hao proved many proofs related to propositional logic in Whitehead's 'Principia Mathematica'.东方逻辑的命题逻辑真值表是由法称提出的。 The propositional logic truth table in Eastern logic was proposed by Dharmakirti.命题逻辑propositional logic |