Какие законы традиционной логики вы знаете

В традиционной логике четыре основных закона:
1) закон тождества;
2) закон противоречия;
3) закон исключенного третьего;
4) закон достаточного основания.
Первые три закона были сформулированы Аристотелем в V в до н.э., закон достаточного основания – Г. Лейбницем в XVIII в.
Рассмотрим их формулировки и символические записи.
1) закон тождества: в процессе рассуждения необходимо сохранять предметное и смысловое содержание предмета рассуждения, т.е. каждая мысль должна быть определенной и сохранять свою однозначность на протяжении всего рассуждения и вывода . В одном и том же контексте нельзя употреблять понятия в разных смыслах и выдавать разные мысли на тождественные.
Символические записи закона тождества: А есть А, А≡А, А→А
2) закон противоречия: два несовместимых (противоречащих друг другу) высказывания относительно одного и того же предмета в одно и то же время не могут быть оба истинными, одно из них обязательно ложно. Закон противоречия требует не допускать логической несовместимости в рассуждении об одном и том же предмете мысли, обеспечивает четкую определенность выводов.
Символическая запись закона противоречия: ¬ (А&¬А)
3) закон исключенного третьего: два несовместимых (противоречащих друг другу) высказывания об одном и том же предмете не могут быть одновременно истинными или ложными, одно из них обязательно истинное