Математика с нуля
Логика и множества: собери набор для рассуждений
Знать правила AND, OR, NOT — не то же самое, что владеть ими. В этом проекте ты превращаешь весь юнит в небольшой бумажный набор — свои таблицы истинности и диаграммы множеств — и затем используешь его, чтобы решать реальные вопросы «да/нет», как логика и применяется на деле.
Преврати идеи юнита в многоразовый инструмент: выпиши таблицы истинности для AND, OR и NOT, построй два реальных множества и соедини их, а затем примени набор, чтобы решить три обычных вопроса, показав каждый шаг со значением истинности или принадлежностью.
Собери от руки одностраничный справочный набор по логике и множествам, затем реши с его помощью три реальных вопроса «да/нет» — показывая каждый шаг со значением истинности и принадлежностью, а не только итоговый ответ.
- Таблица из шести предложений корректно отделяет высказывания от не-высказываний, со значением 1 или 0 на каждом высказывании и хотя бы одним каждого требуемого вида (не-высказывание и ложное высказывание).
- Все три таблицы истинности полны и корректны: AND истинно лишь в одной строке, OR ложно лишь в одной строке, NOT переворачивает обе строки.
- Три составных высказывания каждое показывают верное итоговое значение истинности, прослеживаемое до строки твоих таблиц.
- Объединение и пересечение корректны для твоих двух множеств — общие элементы посчитаны один раз, пересечение не больше меньшего множества, объединение не меньше большего множества — с размером каждого, написанным рядом.
- Добавь четвёртую комбинацию с двумя связками сразу, например NOT (A AND B), и вычисли её значение истинности шаг за шагом изнутри наружу.
- Найди реальную пару пересекающихся групп (любят чай, любят кофе) и используй объединение и пересечение, чтобы ответить «сколько любят хотя бы одно» и «сколько любят оба».
- Напиши заметку на полстраницы, объясняя своими словами, почему принадлежность множеству — это вопрос «да/нет» так же, как значение истинности, и почему это делает объединение похожим на OR, а пересечение — на AND.
- Сделай пустую версию своего набора (пустые таблицы истинности и две пустые скобки множеств) и дай другу с тремя новыми предложениями и группами, чтобы он прошёл тот же процесс с нуля.
Это логика как рабочий инструмент, а не список правил. Ты классифицировал реальные предложения как высказывания или нет, построил таблицы истинности, решающие каждый AND, OR и NOT, и соединил реальные множества через объединение и пересечение — а затем увидел, что две половины юнита оказались одной и той же машинерией: принадлежность — это «да/нет» как значение истинности, объединение — это «или» множеств, а пересечение — «и». Как только набор на бумаге, каждый будущий вопрос «да/нет» становится шагом, который ты можешь проверить.