Посібник містить основні відомості з розділу дискретної математики, що стосується математичної логіки: висловлювання, логічні операції, основні схеми правильних міркувань, структура і види теорем; питання для самоконтролю; індивідуальні завдання.
Орієнтовано на студентів технічних спеціальностей.