Пропозициональная логика: язык точного мышления

Зачем формализовывать

Естественный язык богат и гибок, но именно поэтому он неточен. Одно и то же предложение может значить разное в зависимости от контекста, интонации, умолчаний. Формальная логика создаёт искусственный язык с чёткими правилами, в котором нет места двусмысленности. Это незаменимо в математике, программировании, праве и везде, где цена неточности высока.

Атомарные и молекулярные высказывания

Высказывание (proposition) — предложение, у которого есть истинностное значение: истина (И) или ложь (Л). «Дождь идёт» — высказывание. «Закройте дверь» — не высказывание.

Атомарное высказывание — простое, не разложимое далее. P: «Компания прибыльна». Q: «Акции растут».

Молекулярное высказывание строится из атомарных с помощью логических связок:

Конъюнкция (И, &&): P ∧ Q — «Компания прибыльна И акции растут». Истинно, когда оба истинны.
Дизъюнкция (ИЛИ): P ∨ Q — истинно, когда хотя бы одно истинно.
Отрицание (НЕ): ¬P — «Компания НЕ прибыльна». Меняет значение на противоположное.
Импликация (если...то): P → Q. Ложна только когда P истинно, а Q ложно.
Эквивалентность (тогда и только тогда): P ↔ Q. Истинна, когда оба имеют одинаковое значение.

Таблицы истинности

Таблица истинности — способ перечислить все возможные комбинации значений переменных и определить значение сложного высказывания. Для двух переменных — 4 строки (ИИ, ИЛ, ЛИ, ЛЛ).

Особенно важна импликация. P → Q истинна во всех случаях, кроме P=И, Q=Л. Это кажется контринтуитивным: если P ложно, импликация истинна независимо от Q («ложное основание ни к чему не обязывает»). Именно поэтому из ложного утверждения можно вывести что угодно («ex falso quodlibet»).

Законы логики

Закон противоречия: P ∧ ¬P — всегда ложно. Не может быть, что P одновременно истинно и ложно. Закон исключённого третьего: P ∨ ¬P — всегда истинно. Либо P истинно, либо нет — третьего нет. Законы де Моргана: ¬(P ∧ Q) = ¬P ∨ ¬Q; ¬(P ∨ Q) = ¬P ∧ ¬Q. Очень полезны в программировании и юридическом тексте.

Из P → Q можно вывести: контрапозицию ¬Q → ¬P (логически эквивалентна оригиналу); инверсию ¬P → ¬Q (не эквивалентна); конверсию Q → P (не эквивалентна).

Применения в праве и бизнесе

Юридический текст полон скрытых логических структур. «Договор вступает в силу, если получена предоплата И подписан акт». P ∧ Q → R. Из этого не следует, что R истинно, если только P истинно. Многие судебные споры — споры о логической структуре договора.

В IT: условные операторы (if-else) — прямое применение импликации. SQL-запросы используют AND, OR, NOT в точном смысле пропозициональной логики.

В бизнес-анализе: формализация условий успеха проекта помогает выявить скрытые предположения. «Проект успешен, если выполнено условие A, или условие B, но не оба одновременно» — исключающее ИЛИ (XOR), нуждающееся в явном указании.

Тавтологии и противоречия

Тавтология — высказывание, истинное при любых значениях переменных. «Либо пойдёт дождь, либо не пойдёт» (P ∨ ¬P). В праве: «Виновен или не виновен» — тавтология, позволяющая охватить все случаи. Противоречие — ложное при любых значениях.

Вопрос для размышления: Возьмите ключевое условие из договора или внутреннего документа вашей организации. Переформулируйте его в виде логической формулы с ∧, ∨, →. Стала ли логическая структура яснее? Обнаружили ли неоднозначности?