逻辑矛盾是因人们在思维过程中违反形式逻辑不矛盾律的要求而引起的，辩证矛盾是因人们在思维过程中表达对象的运动而产生的，二者根本不同。然而，经典命题演算没有区别辩证矛盾与逻辑矛盾，它拒斥逻辑矛盾，但不容纳辩证矛盾，因而不能合乎逻辑地表达对象的运动。而如何在思维的逻辑中表达对象的运动，无疑是逻辑研究的一个重要问题。鉴于此，本文试对经典命题演算做适当改动，在区别辩证矛盾与逻辑矛盾的基础上构造一个拒斥逻辑矛盾、容纳辩证矛盾的命题演算系统PC₆。