Исключенного третьего закон (Фролов, 1991)

ИСКЛЮЧЕННОГО ТРЕТЬЕГО ЗАКОН — закон логики, согласно которому из двух высказываний — таких, когда одно отрицает то, что утверждается другим,— одно непременно истинно. Впервые сформулирован Аристотелем. Так, из двух высказываний: «Солнце — звезда» (А есть В) и «Солнце — не звезда» (А не есть В) — одно непременно истинно. Имея в виду такого рода высказывания, традиционная формальная логика исключенного третьего закон часто формулировала так: «А есть В либо не В» (третьего не дано: tertium non datur). Исключенного третьего закон часто используется в процессе доказательства, например, в доказательствах от противного.

Философский словарь. Под ред. И.Т. Фролова. М., 1991, с. 168.