Ранее мы говорили про три закона логики: это закон тождества (предмет, который мы обсуждаем, всегда тот же), закон противоречия (отрицание явления никогда не может присутствовать одновременно с явлением) и закон исключенного третьего («третьего не дано»). На этих трёх законах построена большая часть логических построений и нашей жизни. Есть, конечно, неклассические логики, но они редко используются. Но, как справедливо заметили комментаторы, есть ещё и четвёртый закон, про который Аристотель не сказал, а сказал Лейбниц...

в традиционной логике обычный способ выражения для одного из четырех ее логических законов (см. Закон логический), а именно – закона тождества. Вхождение в этом выражении буквы А несущественно и обязано, по-видимому, особенности латинского алфавита. Равным образом для выражения того же закона можно было бы писать В = В, С = С и т.д. В современной логике (см. Логика символическая) традиционная нотация не используется. В логике высказываний она заменяется формулами (A ≡ A) или (А ⊃ А), где А – произвольное высказывание, а «≡» и «⊃» – пропозициональные логические связки...