Закон виключення третього

фундаментальний принцип класичної логіки, що заперечує можливість непевної оцінки для членів дихотомічної пари (з двох суперечливих суджень про той самий предмет, одне – істинне, друге – хибне, третього не дано)