Книга: Кислов А. Г., Ольховиков Г. К., Уколов С. Ю. «Логика высказываний»
Логика высказываний рассматривается в данном учебном пособии применительно к восприятию студентов-гуманитариев, с более подробным, чем в классических учебниках, изложением наиболее важных ее разделов. Содержание:ОТ АВТОРОВ...... 5 Глава 1. ЯЗЫК ЛОГИКИ ВЫСКАЗЫВАНИЙ § 1. Высказывания...... 8 § 2. Логические связи между высказываниями...... 10 § 3. Синтаксис логики высказываний...... 15 § 4. Семантика классической логики высказываний...... 21 § 5. Метод истинностных таблиц...... 24 § 6. Классификация формул...... 27 § 7. Логические отношения между формулами...... 30 § 8. Метод приведения к абсурду...... 33 § 9. Метод аналитических таблиц...... 36 Глава 2. АЛГЕБРА ЛОГИКИ ВЫСКАЗЫВАНИЙ § 10. Что такое алгебра...... 39 § 11. Нормальные формы...... 54 § 12. Соотношение алгебры классической логики высказываний с другими видами булевых алгебр...... 59 § 13. Совершенные нормальные формы...... 65 § 14. Дополнительные связки...... 70 Глава 3. АКСИОМАТИЧЕСКОЕ ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ § 15. Содержательная и формальная аксиоматика...... 75 § 16. Аксиомы, основные определения и теоремы...... 77 Глава 4. ИСЧИСЛЕНИЕ НАТУРАЛЬНЫХ ВЫВОДОВ В ЛОГИКЕ ВЫСКАЗЫВАНИЙ § 17. Неформальные соображения...... 83 § 18. Определения...... 89 § 19. Правила заключения и выводы натурального исчисления высказываний...... 92 § 20. Некоторые теоремы и производные правила...... 96 § 21. Теоремы о непротиворечивости и полноте...... 100 § 22. Некоторые эвристические соображения...... 104 § 23. Дальнейшее обсуждение...... 109 РЕКОМЕНДУЕМАЯ ЛИТЕРАТУРА...... 114 Издательство: "Издательство Уральского университета" (2012)
ISBN: 9785799607739 |
Другие книги схожей тематики:
Автор | Книга | Описание | Год | Цена | Тип книги |
---|---|---|---|---|---|
Гуров С.И. | Логика высказываний | Предлагаемое учебное пособие предназначено для студентов, начинающих изучать математическую логику, оно… — Московский государственный университет имени М.В. Ломоносова (МГУ), Бакалавриат. Учебные пособия Подробнее... | 2015 | 574 | бумажная книга |
Гуров С. | Логика высказываний Учебное пособие | Предлагаемое учебное пособие предназначено для студентов, начинающих изучать математическую логику, оно… — (формат: Мягкая бумажная, 268 стр.) Подробнее... | 2015 | 589 | бумажная книга |
С. И. Гуров | Логика высказываний. Учебное пособие | Предлагаемое учебное пособие предназначено для студентов, начинающих изучать математическую логику, оно… — Издательство Московского университета, (формат: 60x90/16, 272 стр.) Бакалавриат. Учебные пособия Подробнее... | 2015 | 743 | бумажная книга |
А. А. Зиновьев | Логика высказываний и теория вывода | Настоящая книга, написанная выдающимся философом и логиком А. А. Зиновьевым, посвящена проблеме логического… — Ленанд, (формат: 60x90/16, 158 стр.) Из наследия А. А. Зиновьева Подробнее... | 2015 | 305 | бумажная книга |
Зиновьев А.А. | Логика высказываний и теория вывода | Настоящая книга, написанная выдающимся философом и логиком А. А. Зиновьевым, посвящена проблеме логического… — URSS, Из наследия А.А.Зиновьева Подробнее... | 2015 | 350 | бумажная книга |
А. А. Зиновьев | Логика высказываний и теория вывода | Настоящая книга, написанная выдающимся философом и логиком А. А. Зиновьевым, посвящена проблеме логического… — ЛЕНАНД, (формат: 60x90/16, 158 стр.) Библиотека Российской Ассоциации Политической Науки Подробнее... | 2015 | 453 | бумажная книга |
А. Е. Конверский | Логика традиционная и современная | Учебное пособие "Логика" состоит из двух книг: "Традиционная логика" и "Современная логика" . В первой книге… — Идея-Пресс, (формат: 170x250, 380 стр.) Подробнее... | 2010 | 728 | бумажная книга |
Берков В., Яскевич Я., Павлюкевич В. | Логика | В учебнике излагаются вопросы логики, имеющие важное значение для воспитания творческого и критического… — (формат: Твердая глянцевая, 416 стр.) Подробнее... | 2012 | 269 | бумажная книга |
А. А. Ивин | Логика. Элементарный курс 2-е изд., испр. и доп. Учебное пособие для академического бакалавриата | В учебном пособии изложены основы логики. Рассмотрен предмет логики и его составляющие, язык как знаковая… — ЮРАЙТ, Бакалавр. Академический курс электронная книга Подробнее... | 2017 | 409 | электронная книга |
Ивин А.А. | Логика. Элементарный курс. Учебное пособие для академического бакалавриата | В учебном пособии изложены основы логики. Рассмотрен предмет логики и его составляющие, язык как знаковая… — Юрайт, Бакалавр. Академический курс Подробнее... | 2017 | 816 | бумажная книга |
См. также в других словарях:
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
логика высказываний — ЛОГИКА ВЫСКАЗЫВАНИЙ, пропозициональная логика раздел символической логики, изучающий сложные высказывания, образованные из простых, и их взаимоотношения. В отличие от логики предикатов, простые высказывания при этом выступают как… … Энциклопедия эпистемологии и философии науки
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором вопрос об истинности или ложности высказываний рассматривается и решается на основе изучения способа построения высказываний из т. н. элементарных (далее не разлагаемых и не анализируемых) высказываний с помощью… … Большой Энциклопедический словарь
логика высказываний — (Пропозициональная логика) раздел логики, формализующий употребление логических связок и , или , не , если, то и т. п., служащих для образования сложных высказываний из простых. Высказывание называется простым, если оно не включает в себя другие… … Словарь терминов логики
Логика высказываний — Для улучшения этой статьи желательно?: Проставив сноски, внести более точные указания на источники. Логика высказываний (или пропозици … Википедия
логика высказываний — раздел логики, в котором вопрос об истинности или ложности высказываний рассматривается и решается на основе изучения способа построения высказываний из так называемых элементарных (далее не разлагаемых и не анализируемых) высказываний с помощью… … Энциклопедический словарь