Бродский И.Н. Элементарное введение в символическую логику

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