В этом разделе объясняется, почему тему логики и математической логики удобно представить в виде ментальной карты. Формулируются проблема, актуальность, цель и задачи проекта, обозначаются аудитория и предполагаемый продукт. Здесь же кратко описывается способ работы: изучение источников, отбор понятий, построение схемы и проверка её точности.

Раздел раскрывает, что изучает логика и чем логическое рассуждение отличается от простого перечисления фактов. Рассматриваются понятия мысли, рассуждения и вывода, а также роль последовательности и обоснованности в доказательстве. Материал задаёт основу для понимания математической логики и помогает определить центральные ветви будущей карты.

В разделе объясняется понятие высказывания и рассматриваются его два значения в классической логике: истина и ложь. Приводятся примеры предложений, которые можно проверить на истинность, и сравниваются с вопросами и командами, не имеющими такого значения. Это позволит корректно использовать логические обозначения в дальнейших разделах карты.

В этом пункте описываются основные операции над высказываниями: отрицание, конъюнкция, дизъюнкция и импликация. Для каждой операции указываются смысл, символическое обозначение и простой пример. Сравнение связок помогает понять, как из простых утверждений строятся сложные формулы и какие отношения между ними следует отразить на карте.

Раздел показывает, как таблица истинности задаёт значение сложного высказывания при разных значениях его переменных. На небольших примерах прослеживается порядок вычисления формулы и проверяется результат действия логических связок. Такое представление помогает избежать ошибок при определении истинности и даёт наглядный материал для одного из основных блоков карты.

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

Пункт знакомит с применением логических идей в математике, информатике и цифровой технике. Поясняется, как логические условия используются в алгоритмах, а значения 0 и 1 — при обработке двоичных сигналов. Конкретные примеры помогают показать, что логика не ограничивается формулами из учебника и связана с решением практических задач.

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

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

В этом разделе перечисляются учебники, справочные материалы и электронные источники, использованные при подготовке теоретической части и проверке примеров. Для книг указываются автор, название, издательство и год издания, а для интернет-ресурсов — название страницы и дата обращения. Список позволяет проверить происхождение сведений и при необходимости самостоятельно изучить тему подробнее.