исключённого третьего закон

Исключённого третьего закон - закон логики, согласно к-рому из двух высказываний - таких, когда одно отрицает то, что утверждается другим,- одно непременно истинно. Впервые сформулирован Аристотелем. Так, из двух высказываний: «Солнце - звезда» (Л есть В) и «Солнце - не звезда» (А не есть В) - одно непременно истинно. Имея в виду такого рода высказывания, традиционная формальная логика И. т. з. часто формулировала так: «л есть В, либо не В» (третьего не дано: tertium поп datur). И. т. з. часто используется в процессе доказательства, напр, в доказательствах от противного.

Источники:

1. Философский словарь / Под ред. И.Т. Фролова. - 4-е изд.-М.: Политиздат, 1981. - 445 с.