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