Артикул: 18066

Логика высказываний

Автор: Кислов А. Г. , Ольховиков Г. К. , Уколов С. Ю.

Год: 2012

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

Место издания: Екатеринбург

ISBN: 978-5-7996-0773-9

Страниц: 116

Форматы: PDF

цена: 232 руб.

Логика высказываний рассматривается в данном учебном пособии применительно к восприятию студентов-гуманитариев, с более подробным, чем в классических учебниках, изложением наиболее важных ее разделов. Адресовано студентам, изучающим курс «Логика» в рамках социально-экономических и гуманитарных направлений подготовки.

ОТ АВТОРОВ
Глава 1. ЯЗЫК ЛОГИКИ ВЫСКАЗЫВАНИЙ
§ 1. Высказывания
§ 2. Логические связи между высказываниями
§ 3. Синтаксис логики высказываний
§ 4. Семантика классической логики высказываний
§ 5. Метод истинностных таблиц
§ 6. Классификация формул
§ 7. Логические отношения между формулами
§ 8. Метод приведения к абсурду
§ 9. Метод аналитических таблиц
Глава 2. АЛГЕБРА ЛОГИКИ ВЫСКАЗЫВАНИЙ
§ 10. Что такое алгебра
§ 11. Нормальные формы
§ 12. Соотношение алгебры классической логики высказываний с другими видами булевых алгебр
§ 13. Совершенные нормальные формы
§ 14. Дополнительные связки
Глава 3. АКСИОМАТИЧЕСКОЕ ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ
§ 15. Содержательная и формальная аксиоматика
§ 16. Аксиомы, основные определения и теоремы
Глава 4. ИСЧИСЛЕНИЕ НАТУРАЛЬНЫХ ВЫВОДОВ В ЛОГИКЕ ВЫСКАЗЫВАНИЙ
§ 17. Неформальные соображения
§ 18. Определения
§ 19. Правила заключения и выводы натурального исчисления высказываний
§ 20. Некоторые теоремы и производные правила
§ 21. Теоремы о непротиворечивости и полноте
§ 22. Некоторые эвристические соображения
§ 23. Дальнейшее обсуждение
РЕКОМЕНДУЕМАЯ ЛИТЕРАТУРА

Все отзывы о книге

Чтобы оставить отзыв, зарегистрируйтесь или войдите

Рецензии на книгу

Чтобы писать рецензии и получать вознаграждения за рекомендации книг, станьте экспертом

Бестселлеры