<<
>>

2.6. Исчисление высказываний.

Опишем формальную теорию исчисления высказываний.

Исчисление высказываний – это формальная теория £, которой:

1. Алфавит:

· - буквы (A,B,…Z);

· - специальные символы ⌐ → ( ).

2. Формулы:

· любая буква A, B,…Z – формула;

· если А, В – формулы, то (А), (⌐А), (А→ В) – формулы.

3. Аксиомы:

1. А1:

2. А2:

3. А3:

Выражения А1-А3 называются схемами аксиом, т. к. каждая из них порождает бесконечное множество формул. Вместо А, В и С можно подставлять любые формулы.

4. Правило вывода: правило modus ponens (m.p.):

A и B- любые формулы. Т. о. множество аксиом теории £ - бесконечно. Множество правил вывода также бесконечно.

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

Еще по теме 2.6. Исчисление высказываний.:

  1. Тема 1. ЛОГИЦИЗМ
  2. Конъюнкция
  3. Модальная логика
  4. Многозначная логика
  5. Аксиоматический метод.
  6. Актуальная бесконечность
  7. Ценность информации.
  8. Глава VПознание
  9. § 1. Расчетливость (to loyiaxikov) как разумная способность человеческой души
  10. Список сокращений
  11. 1.1. Исчисление высказываний и гибель формул
  12. ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ