Практикум по логике

Практикум по логике: как рассуждать без ошибок

Задачи на логику часто кажутся запутанными: в условии много слов, а непонятно, с чего начать и как проверить ответ. На практике нужен не особый талант, а понятный алгоритм. В этом практикуме ты научишься переводить высказывания на язык логики, составлять таблицы истинности, находить значение выражения и замечать противоречия. Такой подход помогает увереннее решать задания по информатике и математике, а также готовиться к ОГЭ и ЕГЭ.

Логическое высказывание — это предложение, о котором можно однозначно сказать: оно истинно или ложно. Например, «7 больше 3» — истинное высказывание, а «9 делится на 4» — ложное. Вопрос, просьба или фраза с неизвестным значением высказыванием не являются.

Основные операции обозначают так: «не» меняет значение высказывания, «и» требует истинности обоих условий, «или» истинно, если истинно хотя бы одно условие. Импликация «если…, то…» ложна только тогда, когда первое условие истинно, а второе ложно.

Шаг 1. Переводим условие на язык логики

Сначала выдели простые высказывания и обозначь их буквами. Например, A может означать «идёт дождь», а B — «я беру зонт». Затем замени слова связками: «не A» записывается как ¬A, «A и B» — как A ∧ B, «A или B» — как A ∨ B, «если A, то B» — как A → B.

Не путай обычное «или» с разговорным «либо… либо…». В математической логике A ∨ B допускает ситуацию, когда истинны оба высказывания. Если требуется ровно одно условие, это нужно указать отдельно: например, «A или B, но не оба».

Порядок действий важен. Сначала выполняется отрицание, затем конъюнкция, потом дизъюнкция, а импликация обычно рассматривается после них. Скобки снимают двусмысленность.

A = «число делится на 2»
B = «число больше 10»
«Число делится на 2 и больше 10» → A ∧ B
«Число не делится на 2 или не больше 10» → ¬A ∨ ¬B

Шаг 2. Таблица истинности

Таблица истинности показывает результат выражения для всех наборов значений переменных. Если переменных две, строк будет 2² = 4; если три — 2³ = 8. В каждой строке сначала запиши значения простых высказываний, затем посчитай отдельные части выражения и только после этого итог.

A	B	¬A	A ∧ B	A → B
И	И	Л	И	И
И	Л	Л	Л	Л
Л	И	И	Л	И
Л	Л	И	Л	И

Обрати внимание на импликацию: она не означает, что B обязательно истинно. Если A ложно, условное высказывание считается истинным независимо от B. Именно это чаще всего вызывает трудности.

Выражение называют тождественно истинным, если в последнем столбце стоят только «И». Если везде «Л», это тождественно ложное выражение. В остальных случаях оно выполнимо, но не является постоянной истиной или ложью.

Закрепить этот навык можно в личном кабинете: там удобно решать задания по одному и сразу возвращаться к месту, где возникла ошибка.

Разобранный пример полностью

Проверим, является ли выражение (A ∧ B) → A тождественно истинным. Сначала поймём смысл: если одновременно выполнены A и B, то A должно быть выполнено. Это кажется очевидным, но проверим формально.

A — первое высказывание, B — второе
\( F = (A ∧ B) \to A \)
A = И, B = И: A ∧ B = И, значит F = И → И = И
A = И, B = Л: A ∧ B = Л, значит F = Л → И = И
A = Л, B = И: A ∧ B = Л, значит F = Л → Л = И
A = Л, B = Л: A ∧ B = Л, значит F = Л → Л = И
Во всех строках F = И, поэтому выражение тождественно истинно.

Почему в двух последних строках получилась истина? Условие «если A и B, то A» не нарушено, когда предпосылка A ∧ B ложна. Импликация требует наказать только один случай: слева «И», справа «Л».

Во время самостоятельной работы записывай промежуточные столбцы. Попытка сразу назвать итог экономит несколько секунд, но часто приводит к пропуску одной строки или неверному пониманию «или».

Типичные ошибки и как их исправлять

Первая ошибка — считать, что A → B означает B → A. Это разные высказывания. «Если число делится на 4, то оно чётное» верно, но обратное утверждение «если число чётное, то оно делится на 4» неверно: число 6 является контрпримером.

Вторая ошибка — отрицать сложную фразу по интуиции. По законам де Моргана отрицание «A и B» превращается в «не A или не B», а отрицание «A или B» — в «не A и не B».

\( ¬(A ∧ B) = ¬A ∨ ¬B \)
\( ¬(A ∨ B) = ¬A ∧ ¬B \)

Третья ошибка — забывать скобки и порядок действий. Четвёртая — строить не 2ⁿ строк, где n — число переменных. Наконец, не смешивай «истинно» с «полезно» или «правдоподобно»: логика проверяет структуру рассуждения, а не жизненную ценность утверждения.

Что запомнить

Логическая задача решается спокойными шагами: выдели простые высказывания, обозначь их буквами, расставь связки и скобки, составь таблицу истинности и проверь каждый столбец. Для двух переменных понадобится 4 строки, для трёх — 8. Импликация ложна только в случае И → Л, а отрицание сложных выражений раскрывается по законам де Моргана.

Если ответ не сходится, не начинай вычисления заново вслепую. Проверь перевод слов, число строк, порядок операций и последний столбец. Полезно также найти конкретную строку, в которой появилась первая ошибка.

Следующий шаг — зарегистрируйся и реши 5 заданий бесплатно. После каждого решения объясни себе, почему выбранный вариант верен, а остальные нет. Так формула превращается в устойчивый навык, который переносится на новые условия.