数学

排中律の逆理として中庸律を考えられる。
乃ち
￢(A∨￢A)⇔A∧￢A