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