Закон исключённого третьего
Закон исключённого третьего утверждает: из высказывания и его отрицания хотя бы одно обязательно истинно. Поэтому их дизъюнкция всегда равна константе истины.
Формула закона
Если высказывание \(A\) истинно, то \(A=1\), а \(\neg A=0\); результат \(1\lor0\) равен 1. Если \(A\) ложно, то \(A=0\), а \(\neg A=1\); результат \(0\lor1\) также равен 1. Других вариантов для высказывания и его отрицания нет.
Пусть \(A\): «Число 7 чётное». Это высказывание ложно, поэтому \(A=0\). Его отрицание «Число 7 не является чётным» истинно, то есть \(\neg A=1\). Тогда \(A\lor\neg A=0\lor1=1\).
Закон исключённого третьего использует дизъюнкцию: \(A\lor\neg A=1\). Закон противоречия использует конъюнкцию: \(A\land\neg A=0\). Первый говорит, что хотя бы одно из двух высказываний истинно, второй — что оба одновременно истинными быть не могут.
Чему равно выражение \(B\lor\neg B\) при \(B=0\)?
Закон применяют при упрощении логических выражений и проверке их равносильности. В задачах ЕГЭ выражение вида \(X\lor\neg X\) можно сразу заменить на 1, даже если вместо \(X\) записано сложное выражение.
Главное
- Закон исключённого третьего: \(A\lor\neg A=1\).
- Высказывание и его отрицание не могут быть одновременно ложными.
- Не смешивайте этот закон с законом противоречия: \(A\land\neg A=0\).