Конструктивное определение исчисления высказываний

⇐ Предыдущая 1 2 3 456 7 8 9 10 Следующая ⇒

Алфавит и множество формул — те же (см. классические определения). Аксиомы — три конкретные формулы:

A₁: (a (b a));

A₂: ((a (b c)) ((a b) (a c)));

A₃: ((┐b ┐a) ((┐b a) b)).

Правила вывода:

1. Правило подстановки: если формула В является частным случаем формулы А, то В непосредственно выводима из А.

2. Правило Modus ponens (будем обозначать МР): если набор формул A, В, С является частным случаем набора формул a, a b, b, то формула С является непосредственно выводимой из формул А и В.

Здесь a, a b, b — это три конкретные формулы, построенные с помощью переменных а,b и связки ®.

Производные правила вывода

Исчисление высказываний L — это достаточно богатая формальная теория, в которой выводимы многие важные теоремы.

Выводимость формул в теории L доказывается путем предъявления конкретного вывода, то есть последовательности формул, удовлетворяющих определению. 4.2. Для удобства чтения формулы последовательности вывода выписываются друг под другом в столбик, слева указываются их номера в последовательности, а справа указывается, на каком основании формула включена в вывод (то есть она является гипотезой, или получена из схемы аксиом указанной подстановкой, или получена из предшествующих формул но указанному правилу вывода и т.д.).

Теорема 4.9. _├_L A A

Доказательство

⇐ Предыдущая 1 2 3 456 7 8 9 10 Следующая ⇒

Дата добавления: 2015-10-15; просмотров: 662. Нарушение авторских прав; Мы поможем в написании вашей работы!

Функция спроса населения на данный товар Функция спроса населения на данный товар: Qd=7-Р. Функция предложения: Qs= -5+2Р,где...

Аальтернативная стоимость. Кривая производственных возможностей В экономике Буридании есть 100 ед. труда с производительностью 4 м ткани или 2 кг мяса...

Вычисление основной дактилоскопической формулы Вычислением основной дактоформулы обычно занимается следователь. Для этого все десять пальцев разбиваются на пять пар...

Расчетные и графические задания Равновесный объем - это объем, определяемый равенством спроса и предложения...

Неисправности автосцепки, с которыми запрещается постановка вагонов в поезд. Причины саморасцепов ЗАПРЕЩАЕТСЯ: постановка в поезда и следование в них вагонов, у которых автосцепное устройство имеет хотя бы одну из следующих неисправностей: - трещину в корпусе автосцепки, излом деталей механизма...

Понятие метода в психологии. Классификация методов психологии и их характеристика Метод – это путь, способ познания, посредством которого познается предмет науки (С...

ЛЕКАРСТВЕННЫЕ ФОРМЫ ДЛЯ ИНЪЕКЦИЙ К лекарственным формам для инъекций относятся водные, спиртовые и масляные растворы, суспензии, эмульсии, новогаленовые препараты, жидкие органопрепараты и жидкие экстракты, а также порошки и таблетки для имплантации...

ОЧАГОВЫЕ ТЕНИ В ЛЕГКОМ Очаговыми легочными инфильтратами проявляют себя различные по этиологии заболевания, в основе которых лежит бронхо-нодулярный процесс, который при рентгенологическом исследовании дает очагового характера тень, размерами не более 1 см в диаметре...

Примеры решения типовых задач. Пример 1.Степень диссоциации уксусной кислоты в 0,1 М растворе равна 1,32∙10-2 Пример 1.Степень диссоциации уксусной кислоты в 0,1 М растворе равна 1,32∙10-2. Найдите константу диссоциации кислоты и значение рК. Решение. Подставим данные задачи в уравнение закона разбавления К = a2См/(1 –a) =...

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

Studopedia.info - Студопедия - 2014-2026 год . (0.008 сек.) русская версия | украинская версия