В пособии приводятся основы математической логики, которая входит в курс дискретной математики. Дано большое количество решенных примеров и  типовых задач для самостоятельной работы.