一个拒斥逻辑矛盾、容纳辩证矛盾的命题演算系统

逻辑矛盾是思维混乱的产物，辩证矛盾是对象的运动之观念中所必然包含着的矛盾。前者是同时既肯定又否定同一个n（n∈N且 n≥1）级命题而形成的矛盾，后者是同时既肯定又否定同一个0级命题而形成的矛盾。经典命题演算没有区别辩证矛盾和逻辑矛盾, 它拒斥逻辑矛盾，但不容纳辩证矛盾，因而不能合乎逻辑地表达对象的运动。命题演算系统PC6区别了辩证矛盾和逻辑矛盾，具有拒斥逻辑矛盾并容纳辩证矛盾的特征，且具有可靠性和完全性，可以合乎逻辑地表达对象的运动。