，爲了突出P，Q，R三个逻辑对象在逻辑上的相同性，依次被重新表述为formula_7，更好地体现它们三者在逻辑上的定义是完全相同，是逻辑上典型的重言式。而且，这种无矛盾逻辑学也正是凭借着这种逻辑重言式，充分必要地保证了逻辑推理的首尾一致的相容性。在数理逻辑运算推理的中则可表述为：或者表述为：
矛盾逻辑学的三段论.在矛盾逻辑学中，P，Q，R，的定义是非重言式的，三者的逻辑定义都是各自独立的，完全不同的。其中，P和Q的逻辑定义是完全相反的；R的逻辑定义则兼备了P和Q的部分逻辑含