<<
>>

Тема 3. Логика и исчисление предикатов

Логика высказываний – очень узкая логическая теория. Есть такие типы логических рассуждений, которые не могут быть осуществлены в рамках логики высказываний. Например:

1. Всякий друг Ивана есть друг Петра. Павел не друг Ивана, следовательно, Павел не друг Петра.

2. Простое число 2 – четное, следовательно, существуют четные простые числа.

Корректность таких выводов базируется не только на истинности соответствующих предложений, но и на смысле слов «всякий» и «существуют». Чтобы сделать более понятной структуру сложных высказываний используют специальный язык – язык предикатов первого порядка.

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

Еще по теме Тема 3. Логика и исчисление предикатов:

  1. 4. Проблема способа изложения положительной теоретическойметафизики как науки
  2. Тема 1. ЛОГИЦИЗМ
  3. ПРОБЛЕМА СООТНОШЕНИЯ МЫШЛЕНИЯ И ЯЗЫКА В ТРУДАХ Г. В. ЛЕЙБНИЦА, И. КАНТА, Ф. В. ШЕЛЛИНГА И Г. ФРЕГЕ 
  4. § 1. Расчетливость (to loyiaxikov) как разумная способность человеческой души
  5. Теория доказательств классической логики предикатов
  6. ГЛАВА 4 ВОЗМОЖНЫЕ ПРИЛОЖЕНИЯ
  7. Список сокращений
  8. ЛОГИКА ФОРМАЛЬНАЯ
  9. § 1. Логический атомизм Б. Рассела
  10. ИСЧИСЛЕНИЕ ПРЕДИКАТОВ