Открыть главное меню

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

Закон исключённого третьего (лат. tertium non datur, то есть «третьего не дано») — закон классической логики, состоящий в том, что из двух высказываний — «А» или «не А» — одно обязательно является истинным, то есть два суждения, одно из которых формулирует отрицание другого, не могут быть одновременно ложными. Закон исключённого третьего является одним из основополагающих принципов «классической математики».

С «интуиционистской» (и, в частности, «конструктивистской») точки зрения установление истинности высказывания вида «А или не А» означает:

  • либо установление истинности ;
  • либо установление истинности его отрицания .

Поскольку, вообще говоря, не существует общего метода, позволяющего для любого высказывания за конечное число шагов установить его истинность или истинность его отрицания, закон исключённого третьего не должен применяться в рамках интуиционистского и конструктивного направлений в математике как аксиома.

ФормулировкаПравить

В математической логике закон исключённого третьего выражается тождественно истинной формулой[1]:

 

где:

Другие формулировкиПравить

Подобный смысл имеют другие логические законы, многие из которых сложились исторически.

В частности, закон двойного отрицания   и закон Пирса   эквивалентны закону исключённого третьего в интуиционистской логике. Это означает, что расширение системы аксиом интуиционистской логики любым из этих трёх законов в любом случае приводит к классической логике. И всё же, в общем случае, существуют логики, в которых все три закона неэквивалентны[2].

ПримерыПравить

Предположим, что P представляет собой утверждение «Сократ смертен». Тогда закон исключённого третьего для P примет вид: «Сократ смертен или Сократ не смертен».


ПримечанияПравить

  1. Эдельман, 1975, с. 21.
  2. Zena M. Ariola and Hugo Herbelin. Minimal classical logic and control operators. In Thirtieth International Colloquium on Automata, Languages and Programming , ICALP’03, Eindhoven, The Netherlands, June 30 — July 4, 2003, volume 2719 of Lecture Notes in Computer Science, pages 871—885. Springer-Verlag, 2003.[1]

ЛитератураПравить

  • Эдельман С.Л. Математическая логика. — М.: Высшая школа, 1975. — 176 с.

См. такжеПравить