Презентация на тему Дедуктивные и индуктивные умозаключения

состоящая в получении нового суждения (высказывания, утверждения) из одной

или нескольких ранее известных суждений.

Посылка

Следствие

Ранее известные суждения

Новое суждение

Таким образом, умозаключение есть
переход от посылок к следствию

Рассуждение – есть последовательность умозаключений, при чем посылками последующих умозаключений служат следствия предыдущих умозаключений данной последовательности

анализе логической структуры посылок и следствий
Основано на анализе содержаний

посылок и следствий

следствие - ложно
Для того чтобы установить, является ли умозаключение правильным, необходимо:
1)   

Формализовать все посылки и следствие;
2)    Записать формулу, представляющую конъюнкцию посылок, соединенную знаком импликации со следствием;
3)    Составить таблицу истинности для данной формулы;
4)    Если формула тождественно-истинна, то умозаключение правильное, если нет – то умозаключение неправильное.

ABCD – параллелограмм, то его противоположные углы равны. Четырехугольник

ABCD – параллелограмм. Следовательно его противоположные углы равны».

Структура посылок – X, X-> Y
Структура заключения – Y

По правилу логического заключения рассуждение является правильным

ЭМЛ неинтересн, то он полезен. Курс ЭМЛ бесполезен или

нетруден. Курс ЭМЛ труден. Следовательно, этот курс интересен»
X – «Курс ЭМЛ интересен»
Y – «Курс ЭМЛ полезен»
Z – «Курс ЭМЛ труден»

Логическое следование: ¬X->Y, ¬Y v ¬Z, Z ⊧ X
Преобразования:
¬Y v ¬Z = Y -> ¬Z
¬X->Y, Y -> ¬Z ⊧ ¬X -> ¬Z (по правилу цепного заключения)
¬X -> ¬Z ⊧ ¬¬Z -> ¬¬X (по правилу контрапозиции)
Z, Z->X ⊧ X - логическое следование справедливо по свойствам логического следования

натуральное, то оно рациональное.
Число 17 рациональное. Следовательно, число

17 натуральное»

Пример 4. «Если число натуральное, то оно рациональное.
Число ¾ рациональное. Следовательно, число ¾ натуральное»

Оба примера подчиняются схеме - X->Y, Y ⊧ X не тавтология

«Из F -> G следует ¬G -> ¬F» и «из a<3 следует a<5»

схеме:

математики»
Доказательство равенства 3=7. «Из чисел 3 и 7

вычитаем одно и то же число 5. Получаем: 3-5=-2, 7-5=2. Возводим числа в квадрат. Результат – 4 и 4, числа равны, значит и 3=7»

Анализ рассуждения

Шаг 1 (вычитание из целых чисел 3 и 7 целого числа 5)
Посылки: «Если a и b – целые числа, то их разность существует» (A -> B), «Числа 3 и 5 – целые» (А).
Заключение: «Разности 3-5 и 7-5 существуют» (B)

Шаг 2 (возведение чисел -2 и 2 в квадрат).
Посылки: «Если число целое, то его квадрат существует и является >0» (A -> B), «Число (-2) – целое» (A). Заключение: «Квадраты чисел (-2) и 2 существуют» (B)

Шаг 3 (заключение о равенстве чисел 3 и 7).
Посылки: «Если целые числа равны, то равны и их квадраты» (A -> B), «Квадраты целых чисел (-2) и 2 = 4» (B).
Заключение: «Равны числа -2 и 2, т.е. их разности, т.е. 3=7» (A)

T

T

F