Алгебра высказываний. Формальные теории. Предикаты. Модуль 5

Нажмите для полного просмотра!

Алгебра высказываний. Формальные теории. Предикаты. Модуль 5, слайд №2

Алгебра высказываний. Формальные теории. Предикаты. Модуль 5, слайд №3

Алгебра высказываний. Формальные теории. Предикаты. Модуль 5, слайд №4

Алгебра высказываний. Формальные теории. Предикаты. Модуль 5, слайд №5

Алгебра высказываний. Формальные теории. Предикаты. Модуль 5, слайд №6

Алгебра высказываний. Формальные теории. Предикаты. Модуль 5, слайд №7

Алгебра высказываний. Формальные теории. Предикаты. Модуль 5, слайд №8

Алгебра высказываний. Формальные теории. Предикаты. Модуль 5, слайд №9

Алгебра высказываний. Формальные теории. Предикаты. Модуль 5, слайд №10

Алгебра высказываний. Формальные теории. Предикаты. Модуль 5, слайд №11

Алгебра высказываний. Формальные теории. Предикаты. Модуль 5, слайд №12

Алгебра высказываний. Формальные теории. Предикаты. Модуль 5, слайд №13

Алгебра высказываний. Формальные теории. Предикаты. Модуль 5, слайд №14

Алгебра высказываний. Формальные теории. Предикаты. Модуль 5, слайд №15

Алгебра высказываний. Формальные теории. Предикаты. Модуль 5, слайд №16

Алгебра высказываний. Формальные теории. Предикаты. Модуль 5, слайд №17

Алгебра высказываний. Формальные теории. Предикаты. Модуль 5, слайд №18

Алгебра высказываний. Формальные теории. Предикаты. Модуль 5, слайд №19

Содержание ▲

Вы можете ознакомиться и скачать презентацию на тему Алгебра высказываний. Формальные теории. Предикаты. Модуль 5. Доклад-сообщение содержит 19 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации

Слайд 1

Описание слайда:

Модуль 5 Алгебра высказываний. Формальные теории. Предикаты.

Слайд 2

Описание слайда:

Силлогизмы Аристотеля

Слайд 3

Описание слайда:

Алгебра высказываний

Слайд 4

Описание слайда:

Основные логические эквивалентности – примеры тавтологий

Слайд 5

Описание слайда:

Формальные теории

Слайд 6

Описание слайда:

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

Слайд 7

Описание слайда:

Теорема о дедукции

Слайд 8

Описание слайда:

Построение вывода в логике высказываний Докажем, что выводима формула (¬B→¬A)→(A→ B). Сокращенно это записывается так: ├(¬B→¬A)→(A→ B). По теореме, обратной теореме дедукции, посылку можно перенести в левую часть: ¬B→¬A├ A→ B. Проделаем эту операцию еще раз: ¬B→¬A, A├B . Таким образом, нам нужно доказать, что из формул ¬B→¬A и A выводима формула B. Сначала мы запишем гипотезы. 1. ¬B→¬A – гипотеза. 2. A – гипотеза. Формулу B удобно получить из аксиомы А3. Поэтому запишем эту аксиому: 3. (¬B→¬A)→((¬B→ A)→ B) А3. К формулам 1 и 3 можно применить правило вывода Modus ponens 4. (¬B→ A)→ B. МР 1, 3. Посылку в формуле 4 можно получить из аксиомы А1, если заменить B на ¬B: 5. A→(¬B→ A). А1 с подстановкой вместо B – ¬B. Далее дважды применяем правило Modus ponens: 6. ¬B→ A. МР 2, 5. 7. B . МР 6, 4.