Языки и исчисления
[+]
Опубликован: 24.04.2007 | Доступ: свободный | Студентов: 722 / 35 | Оценка: 4.60 / 4.30 | Длительность: 25:56:00
Тема: Алгоритмы и дискретные структуры
Специальности: Программист
Теги: beta, MP@ML, алгебра, анализ, вычисления, графика, дедукция, законы, игры, изоморфизм, импликация, истинность формул, исчисление предикатов, книги, логика, подформула, поиск, полугруппа, предикатный символ, сложность, тавтология, теория, элементы
Лекция 3:

Исчисление высказываний
A
|
версия для печати
< Лекция 2 || Лекция 3: 12345 || Лекция 4 >
Аннотация: Рассматриваются аксиомы исчисления высказываний, правила вывода, выводимость, критерии обращения формул в теоремы, тавтологии
Ключевые слова: тавтология, MP@ML, конечная последовательность, аксиома, ПО, вывод, корректность, импликация, опыт, дедукция, фигурные скобки, cut, класс, доказательство, отрицание, место, очередь, Закон исключенного третьего, переменная истинности, истинность формул, значение формулы, ложь, подформула, исчисление предикатов, переменная, доказательство корректности, множества, непротиворечивость, объединение, отношение, базис индукции, шаг индукции, подмножество, расстояние, метрическое пространство, Произведение, пространство, конечные, дерево, ветвь, слово, булева функция, Бесконечная последовательность

Напомним, что тавтологией мы называли пропозициональную формулу, истинную при всех значениях переменных. Оказывается, что все тавтологии можно получить из некоторого набора "аксиом" с помощью "правил вывода", которые имеют чисто синтаксический характер и никак не апеллируют к смыслу формулы, ее истинности и т. д. Эту задачу решает так называемое исчисление высказываний. В этой лекции мы перечислим аксиомы и правила вывода этого исчисления, и приведем несколько доказательств теоремы о полноте (которая утверждает, что всякая тавтология выводима в исчислении высказываний).

Исчисление высказываний (ИВ)

Каковы бы ни были формулы A,B,C, следующие формулы называют аксиомами исчисления высказываний:

A\to(B\to A); ( 1)

(A\to(B\to C))\to((A\to B)\to(A \to C)); ( 2)

(A\land B)\to A; ( 3)

(A\land B)\to B; ( 4)

A\to(B\to(A\land B)); ( 5)

A\to (A\lor B); ( 6)

B\to(A\lor B); ( 7)

(A\to C) \to ( (B\to C) \to (A\lor B \to C)); ( 8)

\neg A\to(A\to B); ( 9)

(A\to B)\to((A\to \lnot B)\to\lnot A); ( 10)

A\lor \neg A. ( 11)

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

Единственным правилом вывода исчисления высказываний является правило со средневековым названием "modus ponens" (MP). Это правило разрешает получить (вывести) из формул A и (A\to B) формулу B.

Выводом в исчислении высказываний называется конечная последовательность формул, каждая из которых есть аксиома или получается из предыдущих по правилу modus ponens.

Вот пример вывода (в нем первая формула является частным случаем схемы (1), вторая — схемы (2), а последняя получается из двух предыдущих по правилу modus ponens):

\begin{align*} &(p\to(q\to p)),\\ &(p\to(q\to p))\to((p\to q)\to(p\to p)),\\ &((p\to q)\to(p\to p)). \end{align*}

Пропозициональная формула A называется выводимой в исчислении высказываний, или теоремой исчисления высказываний, если существует вывод, в котором последняя формула равна A. Такой вывод называют выводом формулы A. (В принципе можно было бы и не требовать, чтобы формула A была последней — все дальнейшие формулы можно просто вычеркнуть.)

Как мы уже говорили, в исчислении высказываний выводятся все тавтологии и только они. Обычно это утверждение разбивают на две части: простую и сложную. Начнем с простой:

Теорема 17 (О корректности ИВ). Всякая теорема исчисления высказываний есть тавтология.

Несложно проверить, что все аксиомы — тавтологии. Для примера проделаем это для самой длинной аксиомы (точнее, схемы аксиом) — для второй. В каком случае формула

(A\to(B\to C))\to((A\to B)\to (A\to C))
(где A,B,C — некоторые формулы) могла бы быть ложной? Для этого посылка A\to(B\to C) должна быть истинной, а заключение (A\to B)\to (A\to C) — ложным. Чтобы заключение было ложным, формула A\to B должна быть истинной, а формула A\to C — ложной. Последнее означает, что A истинна, а C ложна. Таким образом, мы знаем, что A, (A\to B) и (A\to(B\to C)) истинны. Отсюда следует, что B и (B\to C) истинны, и потому C истинна — противоречие. Значит, наша формула не бывает ложной.

Корректность правила MP также очевидна: если формулы (A\to B) и A всегда истинны, то по определению импликации формула B также всегда истинна. Таким образом, все формулы, входящие в выводы (все теоремы) являются тавтологиями.

Гораздо сложнее доказать обратное утверждение.

Дальше >>
< Лекция 2 || Лекция 3: 12345 || Лекция 4 >

Вопросы и ответы

вопросов: 0