— закон логики, согласно к-рому из двух высказываний — таких, когда одно отрицает то, что утверждается другим,— одно непременно истинно. Впервые сформулирован Аристотелем. Так, из двух высказываний: "Солнце—звезда" (А есть В) и "Солнце—не звезда" (А не есть B) — одно непременно истинно. Имея в виду такого рода высказывания, традиционная формальная логика И. т. з. часто формулировала так: "A есть В либо не В" (третьего не дано: tertium nоn datur). И. т. з. часто используется в процессе доказательства. напр. в доказательствах от противного.
|
