Впервые предлагаемая работа вышла в 1964 году. Она представляет собой учебно-методическое пособие для заочников по разделу «Символическая логика» из курса формальной логики, читаемом на философском факультете ЛГУ. В ней излагается круг вопросов, связанных с так называемым классическим исчислением высказываний, и даются краткие сведения о логике предикатов.
Пособие рассчитано на студентов философских факультетов университетов.
