Закон исключённого третьего
Материал из Википедии — свободной энциклопедии
Закон исключенного третьего — закон классической логики, состоящий в том, что из двух высказываний «А» или «не А» одно обязательно является истинным.
С интуиционистской (и в частности конструктивной) точки зрения установление истинности высказывания вида «А или не А» означает установление истинности A или истинности его отрицания 
. Поскольку не существует общего метода, позволяющего для каждого высказывания за конечное число шагов установить его истинность или истинность его отрицания, закон исключенного третьего подвергается критике со стороны представителей интуиционистского и конструктивного направлений в основаниях математики.
[править] Формулировка
В математической логике закон исключенного третьего выражается формулой
где 
— знак дизъюнкции, 
— знак отрицания.
 |
Это незавершённая статья по математике. Вы можете помочь проекту, исправив и дополнив её. |
