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

В теоретическом разделе раскрывается значение слова «логика» и описывается её связь с математикой. Объясняется, чем изучение формы рассуждения отличается от обсуждения содержания отдельного утверждения, и зачем математике нужны точные правила вывода. Краткая историческая справка помогает показать развитие логических идей, а определения и примеры подготавливают читателя к разбору символической записи.

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

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

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

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

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

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

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

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