Элементарное введение в символическую логику

Купить бумажную книгу и читать

Автор: И. Н. Бродский

Название: Элементарное введение в символическую логику

Издательство: Ленинградского университета

Год: 1964

Страниц: 64

Формат: DJVU

Размер: 2,3 МБ

Качество: Хорошее, 300дпи, цветные обложки

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

ОГЛАВЛЕНИЕ:

Введение (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).