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

Исчисление высказываний
План:
Введение




1 Формальное определение
o 1.1 Вывод формул и теорем
2 Примеры аксиоматики
o 2.1 Пример 1
 2.1.1 Аксиомы
 2.1.2 Пример вывода теоремы
o 2.2 Пример 2 (аксиомы Лукасевича)
 2.2.1 Пример вывода теоремы
3 Семантика
4 Полнота и непротиворечивость
Источники
Введение
Исчисление высказываний
Исчисление высказываний (логика высказываний) - формальная система в
математической логике, в которой формулы, соответствующие выражению, могут
образовываться путем соединения простых высказываний с помощью логических
операций, и система правил вывода, которые позволяют определять определенные
формулы в качестве "Теорем" формальной системы.
1. Формальное определение
Исчислением высказываний есть формальная система


, Где:
Множество есть конечным множеством символов высказываний (или
элементарных высказываний, пропозициональных переменных, атомарных
формул). Для изображения атомарных формул ниже используются малые
латинские буквы. При необходимости можно использовать и счетное множество
символов.
Множество - Конечное множество логических связок (логических операторов).
Данную множество можно разбить на подмножества:
В этом разбиении
есть множество операторов арности (Также обозначено
).
Чаще всего используются операторы:

Множество является конечным множеством правил вывода, позволяющие
получать одни формулы других.

Множество является конечным множеством, элементы которой называются
аксиомами. В отдельных примерах данная множество может быть пустым.
Языке исчисления высказываний является множество формул, определяются рекурсивно с
помощью следующих правил:
1. все элементы множества
являются формулами;
2. если
являются формулами и
, Тогда
тоже является формулой.
3. других формул, чем построенные по правилам 1 и 2 нет.
1.1. Вывод формул и теорем
Пусть некоторое множество формул , А - Некоторая заданная формула говорится,
что формула выводится из множества формул (Обозначается
), Если
существует такая конечная последовательность формул
где для
каждой формулы
:
1.
2.
3.
является аксиомой, или
принадлежит множеству или
выводится из предыдущих формул последовательности с помощью одного из
правил вывода.
Если при этом множество - Пустая (формула выводится с помощью аксиом и правил
вывода), то формула называется теоремой (для этого используется обозначение
).
2. Примеры аксиоматики
2.1. Пример 1
1. Алфавит (элементы множества ) Исчисления высказываний состоит из
элементарных высказываний (пропозициональных переменных):
(Возможно с индексами), логическими операциями являются
.
2. Понятие формулы определяется аналогично алгебре высказываний.
1. все пропозициональные переменные и элементарные высказывания
являются формулами;
2. если A и B - формулы, то выражения (слова)
также являются формулами;
3. других формул, чем построенные по правилам 2.1 и 2.2 нет.
2.1.1. Аксиомы
В многочисленные высказываний определяют такие схемы аксиом :
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
Единственным правилом вывода является:
( Modus ponens)
В данных схемах аксиом и правила вывода символы
можно замещать всеми
допустимыми формулами, после чего и получаются конкретные аксиомы.
2.1.2. Пример вывода теоремы
Пользуясь представленными аксиомами и правилом вывода покажем, что (
Является теоремой в данной формальной системе для любой формулы .
)
Пример вывода
Номер
1
Формула
Способ
получения
Аксиома 2 из
заменой
на
соответственно
2
аксиома 1
(замена
)
3
1, 2 и modus
ponens.
4
аксиома 1
(замена
на
на
соответственно)
5
3, 4 и modus
ponens.
2.2. Пример 2 (аксиомы Лукасевича)
1. Алфавит (элементы множества ) Исчисления высказываний состоит из
элементарных высказываний (пропозициональных переменных):
(Возможно с индексами), логическими операциями являются
.
2. Понятие формулы определяется аналогично алгебре высказываний.
1. все пропозициональные переменные и элементарные высказывания
являются формулами;
2. если A и B - формулы, то выражения (слова)
являются формулами;
3. других формул, чем построенные по правилам 2.1 и 2.2 нет.
также
Следующую простую систему аксиом предложил польский логик Ян Лукасевич :
1.
2.
3.
Единственным правилом вывода является:
( Modus ponens).
Как и в предыдущем примере данные выражения являются схемами аксиом.
2.2.1. Пример вывода теоремы
Пользуясь аксиомами Лукасевича и правилом вывода покажем, что (
теоремой в данной формальной системе для любой формулы .
) Является
Пример вывода
Номер
1
Формула
Способ
получения
Аксиома 2 из
заменой
на
соответственно
2
аксиома 1
(замена
)
3
1, 2 и modus
ponens.
4
аксиома 1
(замена
на
на
соответственно)
5
3, 4 и modus
ponens.
3. Семантика
В приведенных выше формальных системах атомарные формулы и операторы могут
фактически иметь произвольную природу. Для логики важное значение имеет
интерпретация этих символов.
Интерпретация определяется заданием истинности есть предоставлением каждой
атомарной формуле одного из значений 1 ("Истина") или 0 ("Разве"), а также
определением операторов как булевых функций от своих операндов.
Наиболее часто операторы задаются с помощью таблиц истинности:
Учитывая способ построения формул, каждая формула при некотором заданном
истинности получает определенное значение 0 или 1. Значение простейших формул для
различных задач истинности можно вычислять с помощью таблиц истинности. Например:
Если для некоторого задания истинности формула приобретает значение 1, то говорят,
что формула удовлетворяет задания . Формула, удовлетворяет все возможные задания
истинности (как формула
на примере) называется тавтологией.
Если - Некоторая множество формул говорится, что данная множество удовлетворяет
задания истинности, если это задание удовлетворяет каждая формула этого множества.
Если для некоторой формулы из того, что множество удовлетворяет заданной
истинности следует что удовлетворяет этому заданной то формула называется
логическим следствием множества (Обозначается
является пустой, формула является тавтологией.
). В случае если множество
4. Полнота и непротиворечивость
Исчисление высказываний называется полным если любая тавтология является теоремой
данного исчисления. Если обратно любая теорема исчисления высказываний является
тавтологией то исчисление называется непротиворечивым.
Во всех приведенных выше примерах Исчисление высказываний являются полными и
непротиворечивыми.
См.. также







Математическая логика
Булева алгебра
Логика первого порядка
Исчисление секвенций
Конъюнктивная нормальная форма
Дизъюнктивная нормальная форма
Логический союз
Источники
Гильберт Д., Аккерман В. Основы теоретической логики. М., 1947
Клинья С.К. Введение в метаматематику. М., 1957
Мендельсон Э.. Введение в математическую логику. М., 1976
Enderton, HB, A Mathematical Introduction to Logic. Harcourt / Academic Press 2002.
ISBN 0-12-238452-0
5. AG Hamilton Logic for Mathematicians, Cambridge University Press, Cambridge UK
1978 ISBN 0-521-21838-1.
1.
2.
3.
4.
http://nado.znate.ru