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

Этот закон выражается тавтологией:

А + ≡ 1

логическая сумма высказывания и его отрицания всегда истинна.

Закон исключенного третьего можно проверить таблицей истинности:

А		А+

Известна и латинская формулировка этого закона: “Tertium non datur”, что в переводе означает “Третьего не дано”.

Пример: высказывание А=”Сегодня пятница”,

высказывание =”Сегодня НЕ пятница”,

дизъюнкция этих высказываний А+ = “ Сегодня пятница ИЛИ сегодня НЕ пятница ”.

“НЕ пятница” означает любой другой день недели, кроме пятницы. Значит, сложное высказывание А+ говорит о том, что сегодня пятница ИЛИ любой другой день недели – оно всегда истинно. День недели – это или пятница, или НЕ пятница – третьего варианта не будет. Поэтому этот закон называется законом исключенного третьего.

Закон гласит о том, что любое событие либо состоится, либо его не будет, но какой-то из этих двух вариантов обязательно произойдет.

Дата добавления: 2014-01-06