Урок закрепления знаний. На уроке закрепляются основные понятия формальной логики, а также правила записи; составляются с помощью формального языка логики сложные высказывания текстов, в которых имеются логические операции.
Технические средства обучения: персональные компьютеры для каждого обучающегося, интерактивная доска, мультимедийный проектор.
Материал представляет собой план урока, при проведении которого в качестве наглядного материала используются рабочие книги, созданные в самом табличном процессоре. Средствами Excel: демонстрируются основные возможности программы, выполнена заготовка для практической работы учащихся, зашифрован кроссворд и автоматически подводятся результаты работы.