A与﹁A无论在哪里都是矛盾的，都是需要解决的。在形式逻辑中，用真假值来解决掉这一