Закон противоречия (противоположности): противоречащие, точнее противоположные, мысли не могут быть одновременно истинными, по меньшей мере, одна из них ложна, по большей же мере обе могут быть ложными. Формальная запись его: А /\ В, или (поскольку В допустимо заменить на не-А) А /\ не-А, или А /\ А. Читаются формулы: «неверно, что А и В одновременно истинны», или более просто – «неверно, что А и В», или «неверно, что А и не-А одновременно истинны».
Закон исключенного третьего.
В логике принято различать два вида противоположности: контрарную (собственно противоположность) и контрадикторную (противоречие). Нам еще придется о них говорить в разделах о понятии и суждении. Здесь достаточно будет отметить, что, когда два понятия находятся в отношении контрарности, то это означает максимальную противоположность между ними. Выражается это в двух обстоятельствах: какой-нибудь признак, присущий одному из понятий, во-первых, отсутствует у другого и, во-вторых, вместо этого признака у него имеется несовместимый с ним. Таковы понятия «утро» и «вечер», «добрый» и «злой», «экспорт» и «импорт», «белый» и «черный». Некоторые признаки утра не присущи вечеру, однако, это еще не представляет собой самой характерной отличительной черты последнего, потому что день и ночь тоже не являются утром; вечер, сверх этого, противоположное утру время суток и в отображающее его понятие включаются признаки, противоположные тем, которые есть у начала дня: солнце идет вниз, а не вверх, темнеет, а не светает и пр. То же самое можно было бы сказать и про остальные контрарные понятия.
Когда же у другого понятия отмечается только отсутствие какого-либо признака и ничего не говорится о том, какой ему вместо него присущ, то тогда возникает отношение контрадикторности