Закон исключенного третьего. Этот закон выражается тавтологией:
Этот закон выражается тавтологией:
А + 
≡ 1
логическая сумма высказывания и его отрицания всегда истинна.
Закон исключенного третьего можно проверить таблицей истинности:
| А |
| А+
|
Известна и латинская формулировка этого закона: “Tertium non datur”, что в переводе означает “Третьего не дано”.
Пример: высказывание А=”Сегодня пятница”,
высказывание =”Сегодня НЕ пятница”,
дизъюнкция этих высказываний А+ = “ Сегодня пятница ИЛИ сегодня НЕ пятница ”.
“НЕ пятница” означает любой другой день недели, кроме пятницы. Значит, сложное высказывание А+ говорит о том, что сегодня пятница ИЛИ любой другой день недели – оно всегда истинно. День недели – это или пятница, или НЕ пятница – третьего варианта не будет. Поэтому этот закон называется законом исключенного третьего.
Закон гласит о том, что любое событие либо состоится, либо его не будет, но какой-то из этих двух вариантов обязательно произойдет.
Дата добавления: 2015-08-08; просмотров: 692;