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- любые формулы. Т. о. множество аксиом теории £ - бесконечно. Множество правил вывода также бесконечно.
Еще по теме 2.6. Исчисление высказываний.:
-
Аналитическая геометрия -
Вариационное исчисление -
Векторный и тензорный анализ -
Высшая геометрия -
Высшая математика -
Вычислительная математика -
Дискретная математика -
Дифференциальное и интегральное исчисление -
Дифференциальные уравнения -
Исследование операций -
История математики -
Комплексное исчисление -
Линейная алгебра -
Линейное программирование -
Математика для экономистов -
Математическая логика -
Математическая физика -
Математический анализ -
Пределы -
Ряды -
Статистика -
Теория вероятностей -
Теория графов -
Теория игр -
Теория принятия решений -
Теория случайных процессов -
Теория чисел -
Функциональный анализ -
-
Архитектура и строительство -
Безопасность жизнедеятельности -
Библиотечное дело -
Бизнес -
Биология -
Военные дисциплины -
География -
Геология -
Демография -
Диссертации России -
Естествознание -
Журналистика и СМИ -
Информатика, вычислительная техника и управление -
Искусствоведение -
История -
Культурология -
Литература -
Маркетинг -
Математика -
Медицина -
Менеджмент -
Педагогика -
Политология -
Право России -
Право України -
Промышленность -
Психология -
Реклама -
Религиоведение -
Социология -
Страхование -
Технические науки -
Учебный процесс -
Физика -
Философия -
Финансы -
Химия -
Художественные науки -
Экология -
Экономика -
Энергетика -
Юриспруденция -
Языкознание -