Читайте также:
|
Рассмотрим умозаключения, содержащие две и более посылок. Умоза-
ключение является логически правильным, если из истинности всех его по-
сылок следует истинность заключения.
Умозаключение логически неправильно, если при истинности всех его
посылок заключение может быть как истинным, так и ложным.
Правильность умозаключения проверяется с помощью таблиц истинно-
сти или, в том случае если посылок много, индуктивным методом.
Общая схема проверки
Запишем формулу каждой Посылки (П) и Заключения.
Оформим задачу в виде схемы
Запишем конъюнкцию посылок Посылка 1 ^ Посылка 2.
Строим таблицу истинности.
Исследуем строки, где Посылка 1 ^ Посылка 2 = 1. Если во всех этих стро-
ках Заключение = 1, то умозаключение логически правильно. Если встреча-
ется строка, в которой Заключение = 0, то умозаключение логически непра-
вильно.
Пример 1. Проверить правильность умозаключения. «Если предмет интере-
сен, он полезен. Предмет неинтересен, значит, он бесполезен».
В этом примере две посылки. П1: «Если предмет интересен, он полезен», П2:
«Предмет неинтересен».
Заключение располагается после слов «значит», «следовательно» и т.п. В дан-
ном случае Заключение: «Он (Предмет) бесполезен».
Составим формулы посылок и заключения. Введем простые суждения: Х –
"предмет интересен", У – "предмет полезен".
Формулы П1: X -->Y, П2: Х, Заключение: Y.
Составим схему.
Обе посылки истинны в 3 и 4 строчках, при этом заключение ` Y = 0 (ложно) в третьей строке и
Y = 1 (истинно) в четвертой строке. По определению умозаключение логически неправильно. Если бы в третьей строке была 1, то умозаключение было бы логически правильным.
Дата добавления: 2015-02-16; просмотров: 99 | Поможем написать вашу работу | Нарушение авторских прав |