Логика
НЕ: Отрицание
Цели урока
- Понять операцию отрицания и её таблицу истинности
- Освоить законы де Моргана для отрицания И/ИЛИ
- Научиться упрощать выражения с двойным отрицанием
- Правильно отрицать условные высказывания
"Неверно, что он умный И добрый" - значит ли это, что он глупый И злой? Нет! Законы де Моргана объясняют почему.
- Юридические формулировки: "Не виновен" vs "Невиновен"
- Программирование: упрощение условий в if-else
- Математические доказательства от противного
- Критическое мышление: как опровергать утверждения
Отрицание: переворачиваем истинность
**Отрицание** (¬, НЕ) - самая простая логическая операция. Она переворачивает истинность высказывания: истинное становится ложным, ложное - истинным.
**Обозначения отрицания:** • В логике: ¬P, ~P, P̄ • В программировании: !P, not P • В математике: P' (P штрих) • В русском: "не", "неверно что"
Отрицание простого высказывания - просто добавь "не". Но отрицание сложных высказываний требует внимательности. "Не (идёт дождь И холодно)" ≠ "Не идёт дождь И не холодно"!
Если P = "Сегодня понедельник" и сегодня действительно понедельник, чему равно ¬¬P?
Законы де Моргана: отрицание И и ИЛИ
**Законы де Моргана** показывают, как правильно отрицать сложные высказывания с И и ИЛИ. Это ключевой инструмент логических преобразований.
**Частая ошибка:** ¬(P ∧ Q) ≠ ¬P ∧ ¬Q ❌ "Неверно что (кошка И собака)" ≠ "Не кошка И не собака" Правильно: "Не кошка ИЛИ не собака" (хотя бы одно неверно)
Мнемоника: отрицание "разбивает" скобки и меняет связку. И становится ИЛИ, ИЛИ становится И. Каждая часть тоже отрицается.
Как правильно отрицать "Фильм интересный И короткий"?
Двойное отрицание: минус на минус
**Двойное отрицание** - это отрицание отрицания. В классической логике ¬¬P = P. Два "не" взаимно уничтожаются.
**Интересный факт:** В интуиционистской логике ¬¬P ≠ P! Там "не можем доказать что неверно" ≠ "можем доказать что верно". Но в классической логике, которую мы изучаем, двойное отрицание всегда убирается.
Двойное отрицание в речи часто используется для смягчения: "неплохой" мягче чем "хороший". Но логически это одно и то же.
Упростите: ¬(¬P ∨ ¬Q)
Отрицание импликации: не "если-то", а "но"
Как отрицать "если P, то Q"? Многие думают что ¬(P → Q) = (¬P → ¬Q). Это неверно! Правильный ответ удивителен.
**Слово "но":** В русском языке "но" часто означает P ∧ ¬Q: "Дорого, но качественно" = Дорого И качественно "Старался, но не получилось" = Старался И не получилось "Но" = "и при этом (неожиданно)"
Чтобы опровергнуть "если A, то B", нужен один контрпример: случай где A есть, а B нет. Это и есть P ∧ ¬Q.
Отрицание "если P, то Q" - это "если не P, то не Q"
Отрицание импликации - это "P, но не Q" (P ∧ ¬Q)
Импликация ложна только когда условие выполнено, а следствие нет. Поэтому её отрицание = именно этот случай: P истинно И Q ложно. Это конъюнкция, не импликация!
Как опровергнуть утверждение "Если человек богат, то он счастлив"?
Главное
- Отрицание переворачивает истинность: ¬И = Л, ¬Л = И
- Де Морган: ¬(P ∧ Q) = ¬P ∨ ¬Q, ¬(P ∨ Q) = ¬P ∧ ¬Q
- Двойное отрицание: ¬¬P = P
- Отрицание импликации: ¬(P → Q) = P ∧ ¬Q (условие выполнено, следствие нет)
Дальше
Теперь изучим правильные формы вывода - шаблоны безошибочных рассуждений
- Правильные формы — следующий урок
- ЕСЛИ-ТО — предыдущий урок
Вопросы для размышления
- Найдите в разговорной речи пример двойного отрицания. Что оно означает?
- Как опровергнуть утверждение «Если много учиться, получишь хорошую работу»?
- Почему закон де Моргана важен для программистов?