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

Закон исключенного третьего — закон классической логики, состоящий в том, что из двух высказываний «А» или «не А» одно обязательно является истинным.

С интуиционистской (и в частности конструктивной) точки зрения установление истинности высказывания вида «А или не А» означает установление истинности A или истинности его отрицания \neg A. Поскольку не существует общего метода, позволяющего для каждого высказывания за конечное число шагов установить его истинность или истинность его отрицания, закон исключенного третьего подвергается критике со стороны представителей интуиционистского и конструктивного направлений в основаниях математики.

Формулировка

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

A \vee\neg A,

где \vee — знак дизъюнкции, \neg — знак отрицания.

 
Начальная страница  » 
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ы Э Ю Я
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
0 1 2 3 4 5 6 7 8 9 Home