分析复合命题所包含的命题成分，着重研究命题连接词的性质而导出有关逻辑形式和规律的逻辑理论。与“词项逻辑”相对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.