слайды(slides9)

Введение в
математическую логику и
теорию алгоритмов
Лекция 9
Алексей Львович Семенов
1
1
07.05.2016
Логика высказываний. Напоминание
Синтаксис.
Логические значения:
0 (Л, Ложь, F), 1 (И, Истина, Т).
Упорядоченный (счетный) алфавит имен высказываний:
А1, А2, . . .
Логические связки:
 - отрицание, «не»
 - конъюнкция, «и»
 - дизъюнкция, «или»
 - импликация, «влечет», «если…, то…»
 - эквивалентность, «равносильно»
2
Индуктивное построение формулы:
Логические значения (логические константы), логические
имена – формулы.
• Если ,  - формулы,   , , , , то
( ), (  ) – формулы.
Теорема об однозначности анализа формул (логики
высказываний). Для любой формулы Θ логики
высказываний выполнено ровно одно:
• Θ – логическое значение,
• Θ – имя высказывания,
• Θ = ( ), где  однозначно определяется по формуле Θ,
• Θ = (  ), где , ,  однозначно определяются по формуле Θ.
Д. Идея – анализ скобочной структуры, баланс скобок… Индукция
3
Логика высказываний. Напоминание
Семантика.
BN - множество бесконечных последовательностей из 0 и 1.
Фиксируем интерпретацию  = 1, . . ., i, . . .  BN.
Значение формулы при данной интерпретации .
Индукция по построению:
1. Значением логического значения является оно само.
2. Значением имени высказывания Ai является i .
3. Значением формулы () является отрицание значения формулы ,
т. е. Зн  = 1 - Зн .
4. Значением формулы (  ), где   , , , 
является результат применения операции 
к значениям формул , .
Однозначность значения получается из однозначности анализа формулы.
Значение формулы – функция BN  B.
Пусть наибольший номер переменной в формуле равен n.
Тогда формула задает функцию Bn  B.
4
Логика высказываний
Формула
• Общезначима (тавтология) – функция
тождественно истинна (равна 1 на любом
наборе аргументов)
• Выполнима – существует набор аргументов,
на котором она истинна
• Противоречие – всюду ложна
• Эти свойства проверяются перебором
5
Подстановка
Пусть w, u – произвольные слова, x – буква. Подстановка u
вместо x в w – это результат одновременной замены всех
вхождений x в w на u. Обозначение: w[u/x] .
Свойство подстановки. Пусть А и Б – две формулы,
x – имя и фиксирована некоторая интерпретация. Тогда, при этой
интерпретации
• Зн А[Б/x] = Зн А[ЗнБ/x], то есть мы можем вместо того, чтобы
искать значение формулы А, которую подставлено Б вместо x,
можно сначала найти значение Б и потом подставлять уже это
значение вместо x.
Значения индуктивно строящихся выражений:
• Значение выражения определяется значением
компонентов, из которых оно построено, а не их
внутренней структурой.
6
Логика отношений. Напоминание
• Общезначимость и т. д.
• Процесс построения модели (то есть структуры, где
формула истинна).
• Если он обрывается, то модели не существует.
• Как проверять общезначимость?
• Пытаться построить модель, где формула ложна (то
есть ее отрицание истинно).
• Если формула общезначима, то мы это выясним.
7
Логика отношений
• Можно ли устанавливать общезначимость в
привычном формате «рассуждений»,
«выводов», где понятен «ход мысли».
• Индуктивное определение выводимой формулы
• Может быть доказана теорема о полноте: «все
истинное доказуемо»
Мы Рассмотрим более простой пример
• Он интересен сам по себе, как способ
математического описания некоторого класса
человеческих рассуждений, расширяющий
логику высказываний.
8
Модальная логика
Синтаксис
Новая связка:
□ - необходимость.
В индуктивное построение формулы логики высказываний
добавляется еще одна возможность:
• если  — формула, то (□ ) — тоже формула
(читается «необходимо »).
Определение формулы
• Имя (высказывания) – формула
• Если ,  - формулы, ,, , ,
то (), (□ ), () – формулы.
Логических значений среди формул нет (для упрощения).
• Часто в формуле (□ ) опускают внешние скобки.
Например, вместо
(□ (A  B))  ((□ A)  (□ B)).
пишут
9
□ (A  B)  (□ A  □ B).
Модальная логика
Семантика
Содержательные интерпретации выражения □ A:
• Необходимо A
• Всегда A
• Должно быть A
• Известно, что A
• Считается, что A
• Утверждение A доказуемо
• После завершения программы выполнено A
Другие модальности (не похожие на необходимость):
• Желательно, вероятно, запрещено, хорошо, удобно…
Вероятностные логики, нечеткие логики, квантовые
логики… - неклассические
10
Модальная логика.
Семантика
Шкалой Крипке называется пара
F = <S, R>, где
• S — произвольное непустое
множество миров,
Сол Крипке (13.11. 1940 -)
• R  SS — произвольное
отношение достижимости
(одного мира из другого)
Шкалу можно представлять себе,
как граф.
Крипке: ок. 1958, в возрасте 17 лет.
11
Модальная логика
Семантика (продолжение)
Фиксируем шкалу F
• Интерпретация V :
каждое имя p отображает в множество миров V (p)  S.
• Значение формулы A в мире s шкалы F при интерпретации
V – это элемент из B, определяемый индуктивно.
• Для имен Зн (p, s) = 1  s  V (p) (таким образом, V (p) – это
множество миров s, в которых p истинна).
• Зн ( □ A, s) =  Зн (A, t) по всем t, достижимым из s
(конъюнкция может оказаться бесконечной, как у квантора).
• Остальное – как в логике высказываний.
Задача. Какие операции на множествах миров (где
высказывание истинно) соответствуют связкам логики
12
высказываний?
Модальная логика
Истинность
Отношение F,s,V ⊨ A. Читается «формула A
истинна в мире s шкалы F
при интерпретации V».
• Формула A истинна в шкале F, обозначение:
F ⊨ A, если она истинна в любом мире этой
шкалы при любой интерпретации.
• Формула истинна (общезначима), если она
истинна в любой шкале. Обозначение ⊨ A
13
Модальная логика
Свойства истинности
для любой шкалы F
Задача. Подстановка формул вместо имён высказываний в
тавтологию логики высказываний дает истинную формулу
модальной логики.
Д. Свойство подстановки.
Задача. Доказать, что для любых формул A, B
Если F ⊨ A и F ⊨ A  B, то F ⊨ B.
Если F ⊨ A, то F ⊨ □ A.
⊨ □ (A  B)  (□ A  □ B).
Рассуждаем в данном мире при данной интерпретации.
14
Доказательство
F ⊨ □(A B)  (□ A  □ B)
•Возьмем интерпретацию и мир.
1.Пусть посылка □ (A  B) – истинна.
2. (A  B) – истинна во всех достижимых
3.Пусть □ A – истинна.
4.A – истинна во всех достижимых
5.B – истинна во всех достижимых (по 2)
6. □ B – истинна
15
Исчисление K (Крипке)
Индуктивное определение выводимой формулы:
Бесконечное количество формул, называемых
аксиомами:
• Подстановки формул вместо имен в тавтологии логики
высказываний – выводимы.
• Все формулы вида
□ (A  B)  (□ A  □ B) – выводимы (аксиома
нормальности).
Три правила вывода:
•Если A, A  B – выводимы, то
B – выводима (modus ponens – MP).
• Если A – выводима, то
– □ A – выводима (необходимость),
– подстановка в A формул вместо имен – выводима
(подстановка).
16
Истинность формул, выводимых в K
Задача. Любая выводимая формула
истинна в любой шкале.
•Индукция по определению
выводимости, используя Свойства
истинности
17
Модальная логика
Для любых F, A, B:
1. Подстановка формул вместо имен в тавтологии
дает общезначимые формулы.
2. Если F ⊨ A и F ⊨ A  B, то F ⊨ B.
3. Если F ⊨ A, то F ⊨ □ A.
4. F ⊨ □ (A  B)  (□ A  □ B).
Было проверено в свойствах истинности.
Отсюда по индукции получается истинность
выводимых формул.
Подробнее…
18
Истинность выводимого
(параллельно)
Выводимость
тавтологии - очевидно
Истинность
K ⊢ □ (A  B)  (□ A  □ B)
F ⊨ □ (A  B)  (□ A  □ B)
Если K ⊢ A , то
K ⊢ □ A.
Подстановка в A формул
вместо имен – выводима.
Если F ⊨ A , то
F ⊨ □ A.
Подстановка в A формул
вместо имен – истинна.
Если K ⊢ A и K ⊢ A  B, то K
Если F ⊨ A и F ⊨ A  B, то
F ⊨ B.
⊢ B.
19
Несколько общих определений
и утверждений, полезных в
контексте шире модальной
логики
20
Противоречивые множества формул
• Формула называется синтаксическим противоречием, если
выводимо ее отрицание.
• На этой лекции мы будем иногда опускать слово
«синтаксическое». Раньше «противоречие» – несовместность,
отсутствие модели
• Множество формул называется (синтаксически)
противоречивым, если конъюнкция каких-то формул из него
– противоречие, (синтаксически) непротиворечивым – в
противном случае.
Лемма о противоречивой конъюнкции
В исчислении K если A – противоречие, то A  B –
противоречие.
Д. p → (p  q) – тавтология. Значит, если в K выводима
посылка, по MP в K выводимо заключение.
Задача. Если множество содержит противоречивое
21
подмножество, то оно противоречиво.
Лемма о противоречии
Противоречивость {B1, … , Bn, A} эквивалентна
K ⊢ B1 → (…(Bn → A)…) и эквивалентна
K ⊢ Bi → A .
(в частности, если выбросить Bi : выводимость формулы
эквивалентна (синтаксической) противоречивости ее отрицания)
Д. Противоречивость записывается как
K ⊢ (B1  …  Bn  A)
Каждая из трех формул ложна, только если все Bi истинны, а A –
ложно.
• Запишем импликацию между любыми двумя формулами. Это –
подстановка в тавтологию, следовательно – выводима. (Это –
наша аксиома.)
• Для любых A, Bi из выводимости одной из
формул по MP следует выводимость другой.
22
Выводимость из множества формул
Формула A выводима из множества D, если
K ⊢  Bi → A для некоторого (конечного)
множества формул Bi из D.
Множество D замкнуто, если оно содержит
все выводимые из него формулы.
23
Полные множества формул
Непротиворечивое множество формул называется
полным, если для каждой формулы оно содержит или
эту формулу, или ее отрицание.
Лемма. Полное множество замкнуто.
Пусть D – полное, A – выводимо из D, т. е.
K ⊢  Bi → A
По Л. о противоречии
{ B1, …, Bn, A} – противоречиво.
Значит, D не содержит A (непротиворечивость),
и D содержит A (полнота).
24
Лемма о полном расширении
Всякое непротиворечивое множество можно
расширить до полного непротиворечивого.
Д. Перебираем все формулы, пытаясь добавить или
формулу, или ее отрицание.
• Предположим, что ни то, ни другое невозможно, т. е.
и добавление A и добавление A приводит к
противоречию:
B – конъюнкция всех формул, которые входят в
противоречия для A и A. Тогда по лемме о
противоречивой конъюнкции
K ⊢ B → A, B → A.
Далее…
25
Лемма о полном расширении
Подстановка в тавтологию
K ⊢ ( B → A) → (( B → A) → B).
Значит по MP
•K ⊢ (( B → A) → B).
•K ⊢ B.
•Таким образом, уже B было противоречием.
Объединение всех полученных на каком-то шаге
множеств является расширением исходного
множества, полно и непротиворечиво
26
Общее замечание
Сформулированные последние
определения и утверждения могут быть
использованы в широком классе
ситуаций, и мы к ним будем прибегать и
в дальнейшем.
27
Выводимость истинного
Мы будем интересоваться истинностью в специальной
канонической шкале MK = (SK;RK).
• Элементы SK – все полные (синтаксически) непротиворечивые
множества формул. Отношение достижимости:
RK(s; t)  {A | □ A s }  t.
• Интерпретация V K(p) = {s|p ∈ s}.
То есть, имя p считается истинным в тех мирах
(множествах формул),
которым оно принадлежит.
Семантику мы определяем через отношение ∈.
Выводимость у нас «запрятана» внутрь миров.
Мир есть совокупность фактов, а не вещей.
Людвиг Витгенштейн (26.04.1889 — 29.04.1951)
28
Утверждение 1.
Для любого мира s ∈ S K и формулы A
□A ∈ s

(A ∈ t для всех t, для которых RK(s; t)).
То есть, действительно, принадлежность миру – ∈ (левая часть)
продолжает играть роль истинности в мире для более сложных
формул: справа – определение истинности для □ A при условии,
что ∈ определяет истинность для A.
Доказательство. (⇒)
Пусть □ A  s и для t выполнено RK(s; t).
По определению отношения RK
RK(s; t)  {A | □ A s}  t .
Значит, A ∈ t .
29
Утверждение 1.
Для любого мира s ∈ S K и формулы A
□ A ∈ s  (A ∈ t для всех t, для которых RK(s; t)).
Доказательство. (⇐) Возьмем такую A.
Пусть u = {C | □ C ∈ s}. Тогда u ⋃ {A} противоречиво.
• Иначе расширим u ⋃ {A} до t из SK. u  t, RK (s; t)  u  t,
t достижимо из s . Значит, A ∈ t. Но в t лежит A. Противоречие.
• По Л. о противоречии, в u есть B1, … ,Bn , для которых
K ⊢ B1 →(…(Bn → A)…).
K ⊢ □ (B1 →(B2 →(…(Bn → A)…))) (необходимость).
Используя аксиому □(B → A) → (□B → □A) и (MP), получаем
K ⊢ □B1 → □ (B2 → (…(Bn → A)…)).
• Поскольку □B1 ∈ s и s замкнуто относительно MP, то
□ (B2 → (…(Bn → A)…)) ∈ s.
Продолжая так же, получаем □ A ∈ s.
30
Утверждение 2.
Для любого мира s ∈ SK и формулы A
MK, s, V K ⊨ A

A ∈ s.
Здесь мы получаем совпадение ⊨ и ∈ уже для всех формул.
Д. Индукция по построению формулы.
Для имен – определение V K :
Истинность p  s ∈ V K (p) = {s|p ∈ s}  p ∈ s.
Для связок логики высказываний получается с
использованием полноты s и замкнутости s относительно MP,
например:
• Истинность A эквивалентна не-истинности A (опр. Зн),
эквивалентна не-принадлежности A к s (индукт. предп.),
эквивалентна принадлежности A к s (полнота).
Задача. Завершить доказательство.
31
Утверждение 3. MK ⊨ A  K ⊢ A .
Д. (⇒) Пусть A – истинна в MK.
Пусть {A } – противоречиво. Тогда
•K ⊢   A.
•Поскольку K ⊢ (  A → A), A – выводима.
Пусть {A } – не противоречиво. Тогда {A } можно
расширить до некоторого s, не содержащего A.
По Утверждению 2 A не истинна. Противоречие.
(⇐) – это Истинность выводимого.
Теорема полноты для K. Формула A выводима в
Исчислении K тогда и только тогда, когда она истинна в
любой шкале Крипке.
Задача. Доказать Теорему (куда девается MK ?)
Задача. Сформулировать Теорему Полноты для Логики
отношений.
32
Роберт Шекли. «Обмен разумов»
• На Земле он или на ее дубле?
• Нет ли здесь приметной детали, не
соответствующей той Земле, где он родился?
А может быть, таких деталей несколько?
Марвин искал их во имя своего душевного
покоя. Он обошел Стэнхоуп и его
окрестности, осмотрел, исследовал и
проверил флору и фауну.
33
Все оказалось на своих местах. Жизнь шла
заведенным чередом; отец пас крысиные стада,
мать, как всегда, безмятежно несла яйца.
Он отправился на север, в Бостон и Нью-Йорк,
потом на юг, в необозримый край Филадельфия
- Лос-Анджелес. Казалось, все в порядке. Он
подумывал о том, чтобы пересечь страну с
запада на восток под парусами по великой
реке Делавэр и продолжить свои изыскания
в больших городах Калифорнии – Скенектеди,
Милуоки и Шанхае.
34
Однако передумал, сообразив, что
бессмысленно провести жизнь в попытках
выяснить, есть ли у него жизнь, которую можно
как-то провести.
Кроме того, можно было предположить, что
даже если Земля изменилась, то изменились
также его органы чувств и память, так что все
равно ничего не выяснишь.
И потому охотно и благосклонно Марвин
принял свой мир за чистую монету, женился на
Маше Бэкер и жил с нею долго и счастливо.
35