Конспект розроблено для проведення занять факультативного курсу з математичної логіки для учнів 10 класу закладів загальної середньої освіти з поглибленим вивченням математики.
У матеріалі розглянуто поняття множини висловлень, виконуваних і суперечливих множин, інтерпретації множин висловлень та логічного наслідку.
Особливу увагу приділено застосуванню таблиць істинності для перевірки виконуваності множин висловлень та встановлення логічного слідування.
Конспект містить теоретичні відомості, основні означення, властивості, алгоритми перевірки, детально розібрані приклади, практичні завдання та домашню роботу із завданнями підвищеної складності.
Матеріал може бути використаний учителями математики під час проведення факультативних занять у 10 класі, організації поглибленого вивчення математичної логіки та розвитку логічного й аналітичного мислення учнів.
