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

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

Бродский, Иосиф Нусимович
Элементарное введение в символическую логику. Пособие для студентов заочного отделения философского факультета по разделу «Символическая логика» из курса формальной логики

Л.: Издательство Ленинградского университета, 1964.- 64 с.
Язык: Русский
Формат: DjVu
Качество: сканированные страницы

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

Оглавление

Введение (5).
§1. Элементарные и сложные высказывания (4).
§2. Логико-предметный язык и логико-предметные формулы (6).
§3. Таблицы истинности и семантика основных логических связок (10).
§4. Логический язык и логические формулы (15).
§5. Равносильность логических формул (18).
§6. Тождественно истинные и тождественно ложные логические формулы (24).
§7. Конъюнктивная нормальная форма (28).
§8. Совершенная конъюнктивная нормальная форма (33).
§9. Сокращенная конъюнктивная нормальная форма (37).
§10. Дизъюнктивные нормальные формы (40).
§11. Аксиоматическое представление логики высказываний 45 §12. Натуральное исчисление (52).
§13. О логике предикатов (56).

Вы уверены, что ссылка нерабочая?

Рекомендуем прочитать