2008年6月1日

数学

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