2-е переработанное издание. — Ленинград: Издательство Ленинградского университета, 1972. — 64 с.
Работа представляет собой учебно-методическое пособие для заочников по разделу «Символическая логика» из курса формальной логики, читаемого на философском факультете ЛГУ. В ней излагается круг вопросов, связанных с так называемым классическим исчислением высказываний, и даются краткие сведения о логике предикатов.
Пособие рассчитано на студентов философских факультетов университетов.
Символическая логика возникла в результате применения к проблемам формальной логики строгих методов, сходных с теми, которые используются в математике. С помощью специально построенного искусственного языка достигается уточнение многих вопросов логики и осуществляется аксиоматическое построение широких логических теорий, в рамках которых можно ставить и решать логические проблемы такого уровня сложности, который был недоступен традиционной логике.
Символическую логику называют также математической. Но не нужно думать, что в символической логике исследуются логические вопросы, имеющие значение для одной только математики.
Элементарные и сложные высказывания;
Язык логики высказываний;
Семантика логических союзов;
Логические условия истинности формул логики высказываний;
Равносильные формулы;
Тождественно истинные и тождественно ложные формулы;
Конъюнктивная нормальная форма;
Совершенная конъюнктивная нормальная форма;
Сокращенная конъюнктивная нормальная форма;
Дизъюнктивная нормальная форма;
Аксиоматическое представление логики высказываний;
Натуральное исчисление высказываний