Закон исключительного третьего, как и закон противоречия, устанавливает связь между противоречащими друг другу высказываниями. И опять-таки идея, выражаемая им, представляется поначалу простой и очевидной: из двух противоречащих высказываний одно является истинным.
В использовавшейся уже полусимволической форме: А или не-А, т.е. истинно высказывание А или истинно его отрицание, высказывание не-А.
Конкретными приложениями этого закона являются, к примеру, высказывания: «Аристотель умер в 322 г. до н.э. или он не умер в этом году», «Личинки мух имеют голову или не имеют ее».
Истинность отрицания равнозначна ложности утверждения. В силу этого закон исключенного третьего можно передать и так: каждое высказывание является истинным или ложным.
Само название закона выражает его смысл: дело обстоит так, как описывается в рассматриваемом высказывании, иди так, как говорит его отрицание, и никакой третьей возможности нет.