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