<<
>>

Тема 2. Логические исчисления

Основная задача математической логики – формализация правильных способов рассуждения. Элементами логических рассуждений являются утверждения, которые либо истинны, либо ложны (простые высказывание или пропозициональные переменные). Из простых высказываний с помощью логических связок (операций) могут быть построены сложные высказывания.

Таблицы истинности позволяют ответить на многие вопросы, касающиеся формул логики высказываний: о равносильности формул, о противоречивости и т. п. Но более сложные вопросы решить с помощью таблиц истинности нельзя. Поэтому рассмотрим другой метод – метод формальных аксиоматических теорий.

<< | >>
Источник: Викентьева О. Л.. Математическая логика и теория алгоритмов. Конспект лекций для студентов специальностей АСУ, ЭВТ, КЗИ. Пермь, 2007г.. 2007

Еще по теме Тема 2. Логические исчисления:

  1. Добавление II: О логических парадоксах
  2. СИСТЕМА СТРАТЕГИЙ ИНСТИТУЦИОНАЛЬНОГО ДИСКУРСА
  3. Тема 1. ЛОГИЦИЗМ
  4.   1.3. Закономерности развития математики  
  5.   1.5. Философия и проблема обоснования математики  
  6.   1.6. Философско-методологические и исторические проблемы математизации знания 
  7.   2.1.7. Физика, математика и компьютерные науки  
  8. Математическое моделирование
  9. § 45. Опровержение: также чистая математика стала бы ветвью психологии
  10. (2') Онтологические проблемы
  11. ИСЧИСЛЕНИЕ ЛОГИЧЕСКОЕ
  12. Математика, естествознание и логика (0:0 От Марк[с]а)
  13. § 1. Логический атомизм Б. Рассела
  14. Тема 2. Исторические типы философии
  15. §16. Психология математических ошибок.
  16. Лобачевский и основные логические проблемы в математике.
  17. Тема 2. Логические исчисления
  18. НЕКОТОРЫЕ ЛОГИЧЕСКИЕ АСПЕКТЫ ГРАММАТИЧЕСКОЙ СТРУКТУРЫ[65] 1 2
  19. 3. Характерные частности музыкального и математического бытия как видов бытия эйдетического
  20. 4. Конструкция музыкального и математического предмета в сознании