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