Скачать презентацию Пропозициональная логика Основы логики высказываний План изучения Скачать презентацию Пропозициональная логика Основы логики высказываний План изучения

propositional_basics.ppt

  • Количество слайдов: 75

Пропозициональная логика Основы логики высказываний Пропозициональная логика Основы логики высказываний

План изучения темы 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. Высказывание План изучения темы 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. Высказывание и его отличие от предложения и суждения (повторение). Логическое следование и логическая форма (повторение). Дедуктивная логика и ее задачи (повторение). Структура формальной теории (повторение). Традиционная силлогистика и пропозициональная логика как формальные теории. Семантика основных пропозициональных констант. Силлогизмы в пропозициональной логике. Равносильные формулы (теорема о равносильной замене). Естественный вывод в пропозициональной логике. Модальные приложения логики высказываний.

ВЫСКАЗЫВАНИЕ - предложение, выражающее определенное суждение ПРЕДЛОЖЕНИЕ – синтаксическая форма естественного или формального языка ВЫСКАЗЫВАНИЕ - предложение, выражающее определенное суждение ПРЕДЛОЖЕНИЕ – синтаксическая форма естественного или формального языка СУЖДЕНИЕ – логическая форма мысли

ВЫСКАЗЫВАНИЕ n n предложение, выражающее суждение ЭЛЕМЕНТАРНЫЕ ВЫСКАЗЫВАНИЯ - не содержащие логических постоянных n ВЫСКАЗЫВАНИЕ n n предложение, выражающее суждение ЭЛЕМЕНТАРНЫЕ ВЫСКАЗЫВАНИЯ - не содержащие логических постоянных n СЛОЖНЫЕ ВЫСКАЗЫВАНИЯ - высказывания, которые содержат логические постоянные n ФОРМЫ ВЫСКАЗЫВАНИЙ - неполные высказывания, которые содержат предметные переменные

Христианский пример (1. 2) Если некоторые граждане РФ – христиане, а все христиане празднуют Христианский пример (1. 2) Если некоторые граждане РФ – христиане, а все христиане празднуют Рождество, Значит, некоторые граждане РФ празднуют Рождество (1. 1) Все христиане празднуют Рождество Некоторые граждане РФ – христиане Некоторые граждане РФ празднуют Рождество

Иудейский пример (2. 1) Христиане празднуют Рождество, и не празднуют Хануку, а в этой Иудейский пример (2. 1) Христиане празднуют Рождество, и не празднуют Хануку, а в этой стране празднуют Хануку, и не празднуют Рождество, значит, в этой стране христиане не живут. Хр. Х) (Стр. Х Стр. Р) ЖХр 2. 2. (Хр. Р (2. 3) Хр а Р Хр е Х Стр а Х Стр е Р Стр е Хр

Коран-пример (3. 1) Если ваши книги согласны с Кораном, то они излишни. Если ваши Коран-пример (3. 1) Если ваши книги согласны с Кораном, то они излишни. Если ваши книги не согласны с Кораном, то вредны. Если ваши книги излишни или вредны, то их следует уничтожить. Следовательно, ваши книги следует уничтожить. p q p r (r q) s s

Логическое следование n Отношение между логическими формами высказываний Из Г логически следует В, если Логическое следование n Отношение между логическими формами высказываний Из Г логически следует В, если и только если при любой интерпретации параметров в составе Г и В, при которой все выражения из Г принимают значение "истина", выражение В также примет значение "истина"

Дедуктивная логика n n выделение и систематизация класса логических законов выделение и систематизация форм Дедуктивная логика n n выделение и систематизация класса логических законов выделение и систематизация форм правильных умозаключений (таких умозаключений, в которых заключения логически следуют из посылок)

Логическая теория n n n Язык логической теории (определение формального языка) + правило построения Логическая теория n n n Язык логической теории (определение формального языка) + правило построения формул (определение правильно построенной формулы) Синтаксис логической теории (правила получения формул одних формул из других) Семантика логической теории (правила приписывания значений формулам)

Логические теории n n строятся в рамках формализованных языков решают следующие задачи 1) выделяют Логические теории n n строятся в рамках формализованных языков решают следующие задачи 1) выделяют во множестве формул языка класс формул, представляющих собой логические законы, 2) выделяют во множестве переходов (от формул F 1, F 2, … Fn к формуле Q) F 1, F 2, … F n Q класс таких переходов, которые являются формами правильных умозаключений, т. е. в которых формула Q логически следует из F 1, F 2, … Fn

Язык логической теории n n n логические символы — специальные знаки для логических терминов, Язык логической теории n n n логические символы — специальные знаки для логических терминов, нелогические символы — параметры, предназначенные для замещения простых высказываний или нелогических терминов различных категорий, технические символы (скобки).

Логические знаки, знаки функторов естественный язык отрицание неверно, что, нет конъюнкция и, а, но Логические знаки, знаки функторов естественный язык отрицание неверно, что, нет конъюнкция и, а, но дизъюнкция или строгая дизъюнкция либо, . либо импликация формальный язык логики пример р p ⋀ q, p • q, p & q, pq p q если…то, когда…тогда p q эквивалентность если и только если, тогда и только тогда p q квантор общности для всех верно, что х Р(х) квантор существования имеется хотя бы один такой, что х Р(х) сильная алетическая модальность необходимо, что, должно быть так, что р слабая алетическая модальность возможно, что, может быть, что р тавтология всегда истинно ⊤ ⊤⇒A противоречие всегда ложно ⊥⇒A Выводимость следует, что ⊢ B⊢A выводимость и доказуемость следует и доказуемо, что ⊨ x⊨y

Язык логики высказываний ПРОПОЗИЦИОНАЛЬНЫЕ БУКВЫ (пропозициональные переменные): р, q, r, s, t, p 1, Язык логики высказываний ПРОПОЗИЦИОНАЛЬНЫЕ БУКВЫ (пропозициональные переменные): р, q, r, s, t, p 1, q 1, r 1, s 1, t 1, p 2, q 2, … 2. ЛОГИЧЕСКИЕ ЗНАКИ (логические союзы): 1. ~ отрицание; конъюнкции; дизъюнкции; импликации; эквивалентности, строгой дизъюнкции. ТЕХНИЧЕСКИЕ ЗНАКИ: ( ) , . 4. Никаких других знаков в языке логики высказываний нет. 3.

Символические обозначения пропозициональной логики Логические знаки, знаки функторов Аналог в естественном языке формальный язык Символические обозначения пропозициональной логики Логические знаки, знаки функторов Аналог в естественном языке формальный язык логики пример неверно, что, нет р конъюнкция и, а, но p q, p • q, p&q, pq дизъюнкция или p q строгая дизъюнкция либо, . либо p q импликация если…то, когда…тогда p q если и только если, тогда и только тогда p q отрицание эквивалентность

Формула логики высказываний 1. Пропозициональная переменная есть формула; 2. Если А — произвольная формула, Формула логики высказываний 1. Пропозициональная переменная есть формула; 2. Если А — произвольная формула, то ~А— тоже формула; 3. Если А и В — произвольные формулы, то (А В), (A B); (А В), (А В) — тоже формулы. 4. Никаких других формул, кроме указанных в пп. 1 — 3 , в языке логики высказываний нет.

Отрицание А ~А и л л и Отрицание А ~А и л л и

Конъюнкция А B и и А В и л и л л л Конъюнкция А B и и А В и л и л л л

Дизъюнкция А В A B и и и л и л л л Дизъюнкция А В A B и и и л и л л л

Импликация А В А В и и и л л л л и Импликация А В А В и и и л л л л и

Исключающая дизъюнкция А В и и л л и и и л л л Исключающая дизъюнкция А В и и л л и и и л л л

Эквивалентность А В и и и л и л л и Эквивалентность А В и и и л и л л и

Семантика основных пропозициональных констант А В A B А В А В и и Семантика основных пропозициональных констант А В A B А В А В и и и л и л и и л л л л и и л

Виды силлогизмов в логике высказываний (сложные силлогизмы) Силлогизмы Условные Разделительные Категорические Виды силлогизмов в логике высказываний (сложные силлогизмы) Силлогизмы Условные Разделительные Категорические

Силлогизмы в логике высказываний I Условные Разделит. Категор. Условные Чисто условные Условноразделит. Условнокатегор. Разделит. Силлогизмы в логике высказываний I Условные Разделит. Категор. Условные Чисто условные Условноразделит. Условнокатегор. Разделит. Условноразделит. Чисто Разделит. категор. Условнокатегор. Разделит. категор. Категор. Разделит. Чисто Категор.

Силлогизмы в логике высказываний II Условные Разделит. Категор. Условные А В В С С Силлогизмы в логике высказываний II Условные Разделит. Категор. Условные А В В С С А А C, В C А В B А Разделит. А В, А C (В C) А А В A B А В В С С В А А В А B А В C А C B Ма. Р Si. М Si. P Категор.

Чисто условные силлогизмы I Если бояться волков, то в лес не ходить. Если в Чисто условные силлогизмы I Если бояться волков, то в лес не ходить. Если в лес не ходить, то грибов не видать. Если бояться волков, то грибов не видать. Если ваши книги согласны с Кораном, то они излишни. Если ваши книги излишни, то они вредны. Если ваши книги согласны с Кораном, то они вредны

Чисто условные силлогизмы II Если ваши книги согласны с Кораном, то они вредны. Если Чисто условные силлогизмы II Если ваши книги согласны с Кораном, то они вредны. Если ваши книги вредны, то их следует уничтожить Если ваши книги согласны с Кораном, то их следует уничтожить p q, q r p r

Семантическая корректность чисто условных силлогизмов p q r p q q r p r Семантическая корректность чисто условных силлогизмов p q r p q q r p r (p q) (q r) p r и и и л и л и и л л и и л л л и и и л л л и и и и и л и и и

Пример сложного чисто условного силлогизма (Если) не было гвоздя — подкова пропала, (если) не Пример сложного чисто условного силлогизма (Если) не было гвоздя — подкова пропала, (если) не было подковы, лошадь захромала, командир убит, (командир убит), конница разбита, (конница разбита, ) армия бежит, (армия бежит, ) враг вступает в город, (враг вступает в город, ) пленных не щадя, оттого, что в кузнице не было гвоздя.

Условно-категорический силлогизм Если в этой стране официально празднуют Хануку, значит в этой стране иудаизм Условно-категорический силлогизм Если в этой стране официально празднуют Хануку, значит в этой стране иудаизм – господствующая религия В этой стране официально празднуют Хануку Значит, в этой стране иудаизм – господствующая религия. Если в этой стране официально празднуют Рождество, значит в этой стране христианство – господствующая религия Неверно, что в этой стране христианство – господствующая религия Значит, неверно, что в этой стране официально празднуют Рождество

Модусы условно-категорического силлогизма I Если в этой стране официально празднуют Хануку, значит в этой Модусы условно-категорического силлогизма I Если в этой стране официально празднуют Хануку, значит в этой стране иудаизм – господствующая религия В этой стране официально празднуют Хануку Значит в этой стране иудаизм – господствующая религия. Modus ponens А В A B

Модусы условно-категорического силлогизма II Если в этой стране официально празднуют Рождество, значит в этой Модусы условно-категорического силлогизма II Если в этой стране официально празднуют Рождество, значит в этой стране христианство – господствующая религия Неверно, что в этой стране христианство – господствующая религия Значит, неверно, что в этой стране официально празднуют Рождество Modus tollens А В B А

Семантическая корректность модусов условнокатегорического силлогизма A B А В A (А В) (A (А Семантическая корректность модусов условнокатегорического силлогизма A B А В A (А В) (A (А В)) В В В (А В) A ( В (А В)) A и и и л л л и и л л и и и

Чисто разделительный силлогизм В этой стране празднуют Рождество или Хануку В этой стране празднуют Чисто разделительный силлогизм В этой стране празднуют Рождество или Хануку В этой стране празднуют Хануку или Рамадан Байрам Значит, в этой стране празднуют Рождество или Хануку или Рамадан Байрам А В В С С В А

Семантическая корректность чисто разделительного силлогизма А В С А В В С (А В) Семантическая корректность чисто разделительного силлогизма А В С А В В С (А В) (В С) А В С ((А В) (В С)) (А В С) и и и и и л и и и и л л и и и и л и и и л л и л и и л л л л и

Разделительно-категорический силлогизм Ваши книги излишни или вредны. Ваши книги вредны. Значит, неверно, что ваши Разделительно-категорический силлогизм Ваши книги излишни или вредны. Ваши книги вредны. Значит, неверно, что ваши излишни. А В В А modus ponendo tollens Ваши книги излишни или вредны. Неверно, что ваши книги вредны. Значит, ваши книги излишни. А В В А мodus tollendo ponens

Семантическая корректность разделительнокатегорического силлогизма А (А В) В л л л и и и Семантическая корректность разделительнокатегорического силлогизма А (А В) В л л л и и и и и л л л и и л и А В и и ((А В) В) В (А В) В А ((А В) В) А

Условно-разделительный (лемматический) силлогизм Если волк проголодался, он хочет поймать зайца, если лиса проголодалась, она Условно-разделительный (лемматический) силлогизм Если волк проголодался, он хочет поймать зайца, если лиса проголодалась, она хочет поймать зайца Если волк или лиса проголодались Зайца хотят поймать. Если удав спит, он сыт, если удав голоден, у него плохое настроение Удав спит или голоден Он сыт или у него плохое настроение. Если удав спит, то он сыт или устал Он не сыт и не устал Он не спит. Если удав сыт, он спит, если попугай рассуждает, у него хорошее настроение. Удав не спит и у попугая нет хорошего настроения Удав не сыт и попугай не рассуждает.

Модусы условно-разделительного (лемматического) силлогизма Простая конструктивная дилемма (А C) (В C) А В C Модусы условно-разделительного (лемматического) силлогизма Простая конструктивная дилемма (А C) (В C) А В C (А В) (А C) (В C) А Простая деструктивная дилемма Сложная конструктивная дилемма (А C) (В D) А В C D (А В) (D C) (В C) (А D) Сложная деструктивная дилемма

Современная логика теория корректных рассуждений (дедуктивные, индуктивные) логико-семиотические проблемы (применение языка как средства познания Современная логика теория корректных рассуждений (дедуктивные, индуктивные) логико-семиотические проблемы (применение языка как средства познания мира и средства выражения мысли; выделение категорий языковых выражений в зависимости от типов их значений, а также установление смыслов и условий истинности и ложности высказываний различных видов). логико-методологические проблемы: выработка правил осуществления познавательных процедур (определение, классификация, аналогия, объяснение, полемика), а также способов организации знания, например, научных теорий.

Традиционная и символическая логика 1. Верификация логического значения опытным путем 2. Философская теория истины Традиционная и символическая логика 1. Верификация логического значения опытным путем 2. Философская теория истины включена в логическое учение 3. Содержательное и описательное рассмотрения категорий логической формы и логического следования 1. Формальный подход к верификации 2. Теория истины заимствуется из философии; развивается теория истинности 3. Анализ логической формы и (свойств) отношения логического следования при помощи создания формальных теорий

Равносильные формулы Основы пропозициональной логики. Тема 2. Равносильные формулы Основы пропозициональной логики. Тема 2.

Иудейский пример Х празднуют Р и не празднуют У, эти люди празднуют Р, значит Иудейский пример Х празднуют Р и не празднуют У, эти люди празднуют Р, значит они Х. Христиане празднуют Рождество, и не празднуют Хануку, а эти люди празднуют Рождество, значит, они христиане.

ВЫСКАЗЫВАНИЕ - предложение, выражающее определенное суждение ПРЕДЛОЖЕНИЕ – синтаксическая форма естественного или формального языка ВЫСКАЗЫВАНИЕ - предложение, выражающее определенное суждение ПРЕДЛОЖЕНИЕ – синтаксическая форма естественного или формального языка СУЖДЕНИЕ – логическая форма мысли

ВЫСКАЗЫВАНИЕ n n предложение, выражающее суждение ЭЛЕМЕНТАРНЫЕ ВЫСКАЗЫВАНИЯ - не содержащие логических постоянных n ВЫСКАЗЫВАНИЕ n n предложение, выражающее суждение ЭЛЕМЕНТАРНЫЕ ВЫСКАЗЫВАНИЯ - не содержащие логических постоянных n СЛОЖНЫЕ ВЫСКАЗЫВАНИЯ - высказывания, которые содержат логические постоянные n ФОРМЫ ВЫСКАЗЫВАНИЙ - неполные высказывания, которые содержат предметные переменные

Буддистский пример (Б 1) «Без понимания буддизма невозможно понять и великие культуры Востока» (Е. Буддистский пример (Б 1) «Без понимания буддизма невозможно понять и великие культуры Востока» (Е. А. Торчинов) (Б 2) Или имеется понимание буддизма или отсутствует понимание великих культур Востока (Б 3) Неверно, что отсутствует понимание буддизма и имеется понимание великих культур Востока (Б 4) Если имеется понимание великих культур Востока, то имеется и понимание буддизма.

Равносильные формулы ~p ~q ~(~p q) q p p q ~q ~p и и Равносильные формулы ~p ~q ~(~p q) q p p q ~q ~p и и л л и и л и л и и л л и и и

Равносильные формулы n Пусть А и В — формулы, E 1, Е 2, . Равносильные формулы n Пусть А и В — формулы, E 1, Е 2, . . . , Еn список всех пропозициональных переменных, входящих по крайней мере в одну из них. Будем говорить, что А и В — РАВНОСИЛЬНЫЕ ФОРМУЛЫ (и писать: А равносильно В, А ≡ В), если при любых логических значениях E 1, Е 2, . . . , Еn логические значения А и В совпадают.

Минимальные таблицы истинности (Б 5) Понимание буддизма отсутствует, а при наличии понимания буддизма можно Минимальные таблицы истинности (Б 5) Понимание буддизма отсутствует, а при наличии понимания буддизма можно понять и великие культуры Востока (~p (p q)) (Б 6) При наличии понимания буддизма можно понять не только сам буддизм, но и великую китайскую культуру. (р (~р r))

Минимальные таблицы истинности р q r ~р p q ~p (p q) ~р ~p Минимальные таблицы истинности р q r ~р p q ~p (p q) ~р ~p r р (~р r) и и и л л л и и и и и л л л л л и и и и л л л и и л и

Основные равносильности классической пропозициональной логики (1 -11) ~~ А равносильно A А В равносильно Основные равносильности классической пропозициональной логики (1 -11) ~~ А равносильно A А В равносильно В А А (В С) равносильно (А В) С А В равносильно В А; А (В С) равносильно (А В) С А (В С) равносильно (А В) (А С) (В С) А равносильно (А В) (А С) А А равносильно А ~(А В) равносильно ~А ~В; ~(А В) равносильно ~А ~В (l) (2) (3) (4) (5) (6') (7') (8) (9) (10) (11)

Основные равносильности классической пропозициональной логики (12 -22) А В равносильно ~(А ~В) (12) А Основные равносильности классической пропозициональной логики (12 -22) А В равносильно ~(А ~В) (12) А В равносильно ~A B (13) А В равносильно ~(~A ~B) (14) A B равносильно ~(~А ~В) (15) А В равносильно (~А В) (~В А) (16) А В равносильно (А В) (~А ~В) (17) (А В) (~А В) равносильно В; (18) А (А В) равносильно А; (19) А (А В) равносильно А; (20) (А C) (В ~C) равносильно (А C) (В ~C) (А В) (21) (А C) (В ~C) равносильно (А C) (В ~C) (А В) (22)

Основные равносильности классической пропозициональной логики (23 -34) А В равносильно ~В ~А А В Основные равносильности классической пропозициональной логики (23 -34) А В равносильно ~В ~А А В равносильно A B А В равносильно (A B) А В равносильно (В A) (A B) А В равносильно (A B) (~A ~B) А В равносильно ~А В равносильно ~(А ~В) ~(А В) равносильно (А ~В) А В равносильно ~(~А ~В) ~(А В) равносильно (~А ~В) (23) (24) (25) (26) (27) (28) (29) (30) (31) (32) (33) (34)

Теорема о равносильной замене Пусть АB обозначает формулу А с выделенным вхождением подформулы В, Теорема о равносильной замене Пусть АB обозначает формулу А с выделенным вхождением подформулы В, а АB — формулу, которая получается из А заменой выделенного вхождения В в А на формулу В. Тогда если В равносильно В , то АB равносильно АB .

Пример равносильной замены (Б 1) «Без понимания буддизма невозможно понять и великие культуры Востока» Пример равносильной замены (Б 1) «Без понимания буддизма невозможно понять и великие культуры Востока» ~p ~q равносильно q p (23) ~p ~q равносильно p ~ q ~p ~q равносильно ~(~ p q) ~p ~q равносильно ~p (~q p)) ~p ~q равносильно p (~q p)) (1), (13), (19) (1), (13) (20)

План доказательства теоремы о равносильной замене n n Строим для формул АB и АB План доказательства теоремы о равносильной замене n n Строим для формул АB и АB таблицы Т и Т . Случай 0. АB – пропозициональная переменная. Случай 1. АB имеет вид ~СB. Случай 2. АB имеет вид q q 2 а) СB D или 2 б) С DB.

Случай 0. АB – пропозициональная переменная, и АB совпадает с В, а АB — Случай 0. АB – пропозициональная переменная, и АB совпадает с В, а АB — с В. Значит, АB равносильно АB .

Случай 1. АB имеет вид ~СB, а АB имеет вид ~СB. Индуктивное предположение. Пусть Случай 1. АB имеет вид ~СB, а АB имеет вид ~СB. Индуктивное предположение. Пусть теорема верна для СB (=СB равносильно СB ). Построим для формул СB и СB соответственно таблицы T 1 и T 1. Т. к. по ИП СB равносильно СB. (индуктив. шаг) заключительные столбцы таблиц T 1 и T 1. . совпадают. Значит, теорема верна и для АB и АB .

Случай 2 а. (Индуктивное предположение) Пусть теорема верна для СB (=СB равносильно СB ). Случай 2 а. (Индуктивное предположение) Пусть теорема верна для СB (=СB равносильно СB ). Построим для формул D, СB и СB соответственно таблицы Т 2 , T 1 и T 1 . Таблица T 1 содержится в Т, T 1 — в T , а Т 2 в Т и Т. Т. к. по ИП СB равносильно СB. (индуктив. шаг) заключительные столбцы таблиц T 1 и T 1. . совпадают. Значит, на основании таблицы для заключительные столбцы логических значений для СB D в Т и для СB D в Т тоже совпадают. След, , СB D равносильно СB D, т. е. АB равносильно АB .

Логическое следование и логический вывод Естественный вывод в логике высказываний. Лекция 1 Логическое следование и логический вывод Естественный вывод в логике высказываний. Лекция 1

План изучения темы 1. 2. 3. Логический вывод и логическое следование Система естественного вывода План изучения темы 1. 2. 3. Логический вывод и логическое следование Система естественного вывода N Доказательство и его виды в системе N

Основные определения n n n Кратная импликация Допущение (условие, гипотеза) Заключение Правило вывода (следования) Основные определения n n n Кратная импликация Допущение (условие, гипотеза) Заключение Правило вывода (следования) Прямое доказательство Косвенное доказательство

Логическое следование (повторение) n Отношение между логическими формами высказываний A 1, A 2, . Логическое следование (повторение) n Отношение между логическими формами высказываний A 1, A 2, . . . Аn, С Из А 1, А 2, …. Аn логически следует С, если и только если при любой интерпретации параметров в составе А 1, А 2, …. Аn и С, при которой все выражения из А 1, А 2, …. Аn принимают значение "истина", выражение В также примет значение "истина"

Логические законы и ТИ формулы Логические истинные (ТИ) высказывания истинные в силу своей логической Логические законы и ТИ формулы Логические истинные (ТИ) высказывания истинные в силу своей логической формы Логический закон - такая логическая форма высказывания, которая принимает значение "истина" при любой интерпретации параметров, входящих в ее состав. o

Логическое следование и логический закон Из А 1, А 2, …. Аn логически следует Логическое следование и логический закон Из А 1, А 2, …. Аn логически следует С, если и только если при любой интерпретации параметров в составе А 1, А 2, …. Аn и С, при которой все выражения из А 1, А 2, …. Аn принимают значение "истина", выражение В также примет значение "истина" n Логический закон - такая логическая форма высказывания, которая принимает значение "истина" при любой интерпретации параметров, входящих в ее состав.

Кратная импликация Кратной импликацией называется формула вида A 1 (A 2 . . . Кратная импликация Кратной импликацией называется формула вида A 1 (A 2 . . . (Аn С). . . ) Однократная импликация A 1 С Двукратная импликация A 1 (A 2 С)

Правила вывода Правило вида A 1, A 2, . . . Аn, С называется Правила вывода Правило вида A 1, A 2, . . . Аn, С называется корректной фигурой перехода, если формула A 1 (A 2 . . . (Аn С). . . ) является тождественно-истинной формулой n

Система естественного вывода N n n Формальный язык ППФ Правила вывода Правила построения доказательства Система естественного вывода N n n Формальный язык ППФ Правила вывода Правила построения доказательства

А А В, В МП ВК А В, А В УК А В, А А А В, В МП ВК А В, А В УК А В, А А В, В ВД А, А В В, А В УД А В А С В С. С

Правила построения прямого доказательства A 1 (A 2 . . . (Аn С). . Правила построения прямого доказательства A 1 (A 2 . . . (Аn С). . . ) На любом шаге построения можно написать: 1) одну из формул A 1, A 2, . . . , Аn в качестве допущения; 2) формулу, следующую из ранее написанных формул по одному из правил логического следования; 3) ранее доказанную формулу. Прямое доказательство формулы (*) считается построенным, если в соответствии с пп. 1 — 3 получена последовательность формул, оканчивающаяся формулой С.

Коран-пример I n n Если ваши книги согласны с Кораном, то они излишни. Если Коран-пример I n n Если ваши книги согласны с Кораном, то они излишни. Если ваши книги не согласны с Кораном, то вредны. Если ваши книги излишни или вредны, то их следует уничтожить. Следовательно, ваши книги следует уничтожить. p q p r (r q) s s ((p q) ( p r) (r q) s))) s

Коран-пример II ((p q) ( p r) ((r q) s))) s Доказательство. 1. (p Коран-пример II ((p q) ( p r) ((r q) s))) s Доказательство. 1. (p q) ( p r) ((r q) s) 2. p q 3. p r 4. (r q) s 5. p 6. p 7. q 8. r 9. r q 10. s допущ. (УК, 1) допущ. МП 5, 2 МП 6, 3 ВД 7, 8 МП 9, 4

Что такое эвристика вывода (доказательства)? n Эвристика – содержательное правило построения вывода, позволяющее подбирать Что такое эвристика вывода (доказательства)? n Эвристика – содержательное правило построения вывода, позволяющее подбирать допущения, р. д. ф. и иные шаги построения вывода (доказательства) так, что q q Минимизируется количество шагов построения Выбранные шаги построения носят необходимый характер

Эвристики построения вывода в системе N n n n Предельный анализ по схеме кратной Эвристики построения вывода в системе N n n n Предельный анализ по схеме кратной импликации Использование УК (при наличии в антецедентах формулы вида А В) Использование производных правил (доказательств по частям и разбором частных случаев) Использование косвенных доказательств Последовательное применение эвристик