Cтраница 2
V - ] А, где v - знак дизъюнкции, - ] - знак отрицания. С интуиционистской ( конструктивной) точки зрения установление истинности высказывания вида Av ] A означает установление истинности А или истинности А. Поскольку не существует общего метода, позволяющего для каждого высказывания за конечное число шагов установить его истинность или истинность его отрицания, И. [16]
ПРИНЦИП ИСКЛЮЧЕННОГО ТРЕТЬЕГО ( рас пространенное лат. Утверждение о несовместимости А и - А составляет содержание другого логич. Оба эти закона были впервые сформулированы Аристотелем в его Метафизике ( IV, 8); в применении к атрибутивным высказываниям вида В есть С они рассматривались также в его Аналитиках. Впоследствии эти законы наряду с тождества законом ( Л есть А) были приняты схоластами в качестве осн. [17]
ИСКЛЮЧЕННОГО ТРЕТЬЕГО ЗАКОН - аксиома классической логики, состоящая в том, что одно из двух высказываний Д и не А является истинным. Ау - ] А ( читается Л или не А), где v - знак дизъюнкции, - - знак отрицания. С интуиционистской ( конструктивной) точки зрения установление истинности высказывания вида A v - А означает установление истинности А или истинности - - ] А. Поскольку не существует общего метода, позволяющего для каждого высказывания за конечное число шагов установить его истинность или истинность его отрицания, И. [18]