Логика: условия, отрицание, И и ИЛИ

Утверждение можно проверить

Высказывание в классической логике имеет одно из двух значений: истина или ложь. Фраза «выпало чётное число» после конкретного броска становится проверяемым утверждением. Союз «и» требует истинности обоих условий, включающее «или» — хотя бы одного, включая совместное выполнение.

Отрицание меняет истину на ложь и ложь на истину. Оно относится ко всему условию: отрицание «не меньше трёх» — «меньше трёх», а не «не больше трёх». Граничное значение должно попасть ровно в одну часть.

Следствие и обратное утверждение

Запись $A\Rightarrow B$ означает, что при истинном $A$ утверждение $B$ обязательно истинно. Условие $A$ называют достаточным для $B$, а $B$ — необходимым для $A$. Делимость на четыре достаточна для чётности; чётности для делимости на четыре недостаточно.

Чтобы опровергнуть универсальное утверждение «для всех», достаточно одного контрпримера. Чтобы его доказать, несколько удачных примеров недостаточны. Равносильность требует обеих импликаций: $A\Rightarrow B$ и $B\Rightarrow A$.

Законы де Моргана помогают отрицать сложные события. «Не произошло и A, и B» означает «не A или не B». А отрицание «A или B» требует «не A и не B». Смена союза важна.

Учебный уровень и ошибки

Логика и доказательства относятся здесь к углублению 7–8 классов. Формальная запись не заменяет смысл условий. Особенно опасно путать достаточность с причинностью: логическое следствие не является утверждением о физическом воздействии одного события на другое.

Три примера

1. Отрицание $x>5$ — $x\le5$. Значение $5$ входит именно в отрицание.
2. «Выпала чётная шестёрка» означает одновременно чётность и равенство шести. Для кубика это один исход; отрицание включает остальные пять.
3. Утверждение «всякое чётное число делится на четыре» опровергается числом $6$. Обратное «делимость на четыре влечёт чётность» верно, поскольку $4k=2(2k)$.