ЕСЛИ-ТО: Условные высказывания

Цели урока

• Понять структуру импликации (антецедент → консеквент)
• Освоить таблицу истинности и "парадокс" ложного антецедента
• Различать необходимое и достаточное условие
• Использовать контрапозицию для преобразования утверждений

"Если свиньи летают, то я - Наполеон". Это высказывание истинно! Почему? Добро пожаловать в мир импликации.

• Юридические договоры: "Если нарушение условий, то штраф"
• Медицинская диагностика: симптом необходим или достаточен для диагноза?
• Программирование: условные операторы if-then
• Научные гипотезы: если теория верна, то эксперимент покажет X

Импликация: если P, то Q

**Импликация** (→) - это условное высказывание "если P, то Q". Это самая используемая и самая непонятная связка в логике.

**Важно:** Импликация - это НЕ причинно-следственная связь! "Если 2+2=4, то Земля круглая" - валидная импликация, хотя математика никак не связана с формой Земли.

Импликация говорит: "Я обещаю: если P истинно, то Q тоже будет истинно." Это обещание, которое можно нарушить только одним способом - когда P истинно, а Q ложно.

Таблица истинности: парадокс импликации

Таблица истинности импликации удивляет многих. Особенно строки, где антецедент ложен.

**Почему Л → И = И?** Это называется "ex falso quodlibet" (из лжи следует что угодно). Если условие не выполнено, импликация не проверяема - и считается истинной по умолчанию. "Если свиньи летают, то я - Наполеон" - истинно! Потому что свиньи не летают.

Единственный способ нарушить импликацию: показать случай, когда условие выполнено (P истинно), а следствие нет (Q ложно). Все остальные комбинации - импликация истинна.

Необходимое vs Достаточное условие

Импликация связана с понятиями **необходимого** и **достаточного** условия. Путаница между ними - источник множества ошибок.

**Ловушка:** "Если есть диплом, найдётся работа" - диплом здесь достаточное условие. Но в реальности это часто неверно! Логическая форма правильная, посылка сомнительная.

Необходимое: без него точно нет. Достаточное: с ним точно есть. Вода необходима для жизни (без воды - смерть). Вода не достаточна (нужны ещё воздух, еда...).

Обратное и противоположное: ловушки рассуждения

Из импликации P → Q можно построить три других высказывания. Только одно из них эквивалентно оригиналу!

**Запомни:** • Обратное (Q → P) - НЕ эквивалентно оригиналу • Противоположное (¬P → ¬Q) - НЕ эквивалентно оригиналу • Контрапозиция (¬Q → ¬P) - ЭКВИВАЛЕНТНА оригиналу Путаница обратного с оригиналом - одна из самых частых логических ошибок.

"Все программисты знают математику" не означает "Все знающие математику - программисты". Обратное высказывание - это другое высказывание!

Контрапозиция: эквивалентная перестановка

**Контрапозиция** - это преобразование "если P, то Q" в "если не Q, то не P". Эти два высказывания всегда эквивалентны.

**Применение в доказательствах:** Вместо "Докажите: если A, то B" можно доказать: "Если не B, то не A" Это называется **доказательство от противного** и часто проще!

Контрапозиция - легальный логический приём. Из "Если успешный, значит много работал" контрапозиция: "Если мало работал - не будешь успешным". Эквивалентные утверждения!

Главное

• Импликация P → Q ложна только когда P истинно, а Q ложно
• Ложный антецедент делает импликацию истинной (ex falso quodlibet)
• Достаточное: гарантирует результат. Необходимое: без него никак
• Контрапозиция (¬Q → ¬P) эквивалентна оригиналу, обратное (Q → P) — нет

Дальше

Теперь изучим отрицание и законы де Моргана - как правильно говорить "НЕ"

• Отрицание — следующий урок
• И/ИЛИ — предыдущий урок

Вопросы для размышления

• Найти в новостях утверждение с «если-то». Что там антецедент, что консеквент?
• Где в повседневных рассуждениях чаще всего путают необходимое и достаточное условие?
• Как объяснить парадокс «из лжи следует что угодно» человеку без логической подготовки?

Связанные уроки

• ml-01