лат.) - принцип исключенного третьего, одна из аксиом логики (см. Аксиома); гласит, что А или равно В, или не равно В и что третьего быть не может (лат. tertium поп datur - третьего не дано).
Источник: Философский энциклопедический словарь