Законы логики и равносильные высказывания
💻 Информатика · 7 класс
Основные логические законы — переместительный, сочетательный, де Моргана — и равносильность выражений.
Что такое законы логики
Логические высказывания, как и числа, подчиняются определённым правилам. Законы логики — это равенства, которые верны для любых значений входящих в них высказываний. С их помощью одно логическое выражение можно заменить другим, равным по смыслу, но более простым. Два выражения называют равносильными, если при любых значениях переменных они принимают одинаковые значения истинности.
Основные законы
Переместительный закон разрешает менять местами высказывания в операциях И и ИЛИ: результат от этого не изменится. Сочетательный закон позволяет произвольно группировать высказывания скобками. Закон де Моргана показывает, как отрицание относится к операциям И и ИЛИ: отрицание «И» превращается в «ИЛИ» отрицаний, и наоборот.
| Закон | Словесная запись |
|---|---|
| Переместительный | «A и B» равно «B и A» |
| Сочетательный | скобки можно переставлять |
| Двойное отрицание | «не не A» равно «A» |
| Де Моргана | «не (A и B)» равно «не A или не B» |
Проверка равносильности таблицей
Чтобы убедиться, что два выражения равносильны, строят таблицу истинности для обоих и сравнивают столбцы результата. Если они совпадают во всех строках, выражения равносильны. Проверим закон де Моргана для двух переменных:
A B | не(A и B) | не A или не B
0 0 | 1 | 1
0 1 | 1 | 1
1 0 | 1 | 1
1 1 | 0 | 0
Столбцы совпали во всех четырёх строках — значит, выражения равносильны, и закон де Моргана подтверждён.
Частая ошибка. Применяя отрицание к выражению «A и B», нельзя просто поставить «не» перед каждой буквой, сохранив операцию И. По закону де Моргана операция при этом меняется: «И» становится «ИЛИ», а «ИЛИ» — на «И».
Зачем нужны законы
Законы логики позволяют упрощать сложные условия, например в программах и электронных таблицах. Более простое равносильное выражение легче понять и быстрее вычислить, а результат остаётся прежним.
Законы поглощения и идемпотентности
Кроме основных, есть и другие полезные законы. Закон идемпотентности гласит: «A и A» равно «A», и «A или A» тоже равно «A» — повторение высказывания ничего не меняет. Закон поглощения позволяет упрощать выражения вида «A или (A и B)» до «A». Эти законы помогают сокращать длинные условия в программах.
| Закон | Пример |
|---|---|
| Идемпотентности | «A и A» равно «A» |
| Поглощения | «A или (A и B)» равно «A» |
| Двойного отрицания | «не не A» равно «A» |
Применение в жизни
Логические законы используют не только математики. Они лежат в основе работы цифровых схем компьютера, помогают упрощать условия в электронных таблицах и программах, делают рассуждения строгими. Умение заменять выражение равносильным, но более простым, — важный навык при решении логических задач из контрольных и олимпиад.
Логическое рассуждение: упражнения с разбором ошибок
Законы преобразования выражений полезно применять к понятным утверждениям. Перед рассуждением уточните слова, время и условия: «дверь открыта утром» не противоречит «дверь закрыта вечером». Наличие эмоций или несогласия с собеседником само по себе не является логической ошибкой.
Для начала: классификация
Есть красный круг, синий круг, красный квадрат и синий квадрат. Сначала разделите предметы по цвету, затем по форме. Какой предмет одновременно красный и круглый? Только красный круг. Какой подходит условию «красный или круглый»? Красный круг, красный квадрат и синий круг. В этом упражнении «или» включает случай выполнения обоих признаков.
Проверим отрицание
Условие: «В коробке есть карандаш и ластик». Его отрицание — «в коробке нет карандаша или нет ластика», включая случай отсутствия обоих. Фраза «нет ни карандаша, ни ластика» сильнее: она не охватывает коробку только с карандашом. Составьте четыре ситуации наличия двух предметов и сравните результаты — получится проверка де Моргана.
Не обращайте следствие без основания
Из правила «если идёт дождь, площадка мокрая» и факта «площадка мокрая» не следует, что был дождь: её могли полить. Для опровержения такого вывода достаточно допустимого контрпримера. Но если площадка сухая и исходное правило действительно без исключений, дождя по этой модели нет.
От формул к проверке аргумента
- Тождество: используйте ключевой термин в одном значении; «лёгкая задача» и «лёгкий портфель» говорят о разных признаках.
- Непротиворечие: A и не-A не могут быть вместе истинны при одинаковом смысле и условиях.
- Исключённое третье в классической двузначной логике: A либо истинно, либо ложно. Это не означает, что мы уже знаем, какой вариант верен.
- Обоснование: отделяйте данные и вывод, указывайте, почему одно следует из другого. Отсутствие доказательства не превращает утверждение автоматически в ложное.
Упражняйтесь на коротких заданиях: сначала объясните ответ, затем придумайте пример, на котором неверный способ рассуждения ломается. Эти упражнения не являются диагностикой развития и не обещают изменения интеллекта за определённый срок.
Справочные материалы: Что такое законы логики — исходная тема; Что такое законы логики — исходная тема. Связанные уроки: Дерево вариантов и перебор, Поиск пути по графу.
Кратко о главном
- Законы логики верны при любых значениях высказываний.
- Равносильные выражения дают одинаковые значения истинности.
- Главные законы: переместительный, сочетательный, де Моргана.
- Равносильность проверяют сравнением таблиц истинности.
- При отрицании по де Моргану операция И меняется на ИЛИ.