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

На нашем сайте вы можете скачать и просмотреть онлайн доклад-презентацию на тему Алгебра высказываний. Формальные теории. Предикаты. Модуль 5 абсолютно бесплатно. Урок-презентация на эту тему содержит всего 19 слайдов. Все материалы созданы в программе PowerPoint и имеют формат ppt или же pptx. Материалы и темы для презентаций взяты из открытых источников и загружены их авторами, за качество и достоверность информации в них администрация сайта не отвечает, все права принадлежат их создателям. Если вы нашли то, что искали, отблагодарите авторов - поделитесь ссылкой в социальных сетях, а наш сайт добавьте в закладки.

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

Просмотр ВСЕЙ презентации! ЖМИТЕ

Оцените презентацию от 1 до 5 баллов!

Смотреть онлайн
Скачать

Тип файла:

ppt / pptx (powerpoint)
Всего слайдов:

19 слайдов
Для класса:

1,2,3,4,5,6,7,8,9,10,11
Размер файла:

263.50 kB
Просмотров:

86
Скачиваний:

0
Автор:

неизвестен

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

№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.

№9 слайд