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

Материал из свободной русской энциклопедии «Традиция»
Перейти к: навигация, поиск

Аксиома исключённого третьего — одна из аксиом классической логики, оговаривающая наличие двух значений истинности: 1 (истина) и 0 (ложь). В виде логического высказывания записывается следующим образом:

\(x \and \neg x\)

В некоторых типах логики эта аксиома выступает в качестве теоремы (закона), в некоторых (например, в интуиционистской логике) эта теорема недоказуема.