Задать вопрос юристу

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. ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ
  2. 2.3. Исчисление высказываний
  3. 3.1 Исчисления высказывания (ИВ).
  4. 4.3.Правило резолюции для исчисления высказываний
  5. 1.1. Исчисление высказываний и гибель формул
  6. 6. Соотношение понятий «язык» и «речь». Предложение и высказывание в аспекте противопоставления языка и речи. Автореферентные и перформативные высказывания. Характеристика предложений по цели высказывания.
  7. 20. Язык и речь. Предложение и высказывание. Основные признаки высказывания.
  8. § 89. Высказывания ноэматические и высказывания 35 о действительности. Ноэма в психологической сфере. Психолого-феноменологическая редукция
  9. 32. Простое предложение. Синонимия прямых и косвенных высказываний. Способы выражения модальности. Виды вопросительных высказываний. Восклицательные предложения.
  10. ИСЧИСЛЕНИЕ КЛАССОВ
  11. ИСЧИСЛЕНИЕ ЛОГИЧЕСКОЕ
  12. 3.2. Исчисление предикатов