– «число 137 не делится на 5», при х = 137;
А(а) – заключение – отрицание – «число 137 не оканчивается цифрой 5».
К правилу силлогизма приведем такой пример:
Если число х кратно 12, то оно кратно 6. Если х кратно 6, то оно кратно 3. Следовательно, если число х кратно 12, то оно кратно 3.
В этом умозаключении две посылки вида «если А(х), то В(х)» и «если В(х), то С(х)», где
А(х) – «х кратно 12»,
В(х) – «х кратно 6»,
С(х) – «х кратно 3».
Заключение представляет собой «если А(х), то С(х)».
Выполняя рассуждения по этим правилам, мы всегда будем получать истинные заключения, что и требуется в дедуктивном заключении.
В логике существуют различные способы проверки истинности заключений, но часто используются круги Эйлера.
Задача.
«Если запись числа оканчивается цифрой 5, то число делится на 5. Число125 делится на 5. Следовательно, запись числа оканчивается на 5».
Правильно ли это заключение?
Данное умозаключение выполнено по схеме А(х) => В(х), В(125)
А(125)
В общем виде ее можно представить так: А(х) => В(х), В(а)
А(а)
Такой схемы из тех, которые нами рассмотрены, нет. Для определения, является ли это умозаключение дедуктивным, воспользуемся кругами Эйлера. На теоретико-множественном языке запишем правило так
ТА c ТВ, а Є ТА
а Є ТВ
Тв
. а
тТтттТ
Та
ТА – множество чисел, оканчивающихся на 5;
ТВ – множество чисел, делящихся на 5;
а = 125.
Мы изобразили на кругах Эйлера множества истинности ТА, ТВ и элемент а, который принадлежит множеству ТА. Но он может содержаться и в множестве ТВ, а может ему и не принадлежать. Значит, эта схема не гарантирует истинность умозаключения, т.к. оно не может быть дедуктивным. Данное умозаключение не является истинным, т.к. не выполнено по схеме.
Важно отметить, что
1) выполняя умозаключение, можно менять очередность посылок и начинать с заключения, а потом воспроизводить посылки;
2) если общие посылки рассмотренных в правилах дедуктивных умозаключений содержат более одной переменной, то это не нарушает их смысл.
Практическая работа
1. Определите логическую структуру умозаключений.
а) Во всяком прямоугольнике противоположные стороны равны. Четырехугольник АВСD – прямоугольник. Следовательно, его противоположные стороны равны.
б) Все прямоугольники являются параллелограммами. Во всех параллелограммах противоположные стороны равны. Следовательно, в любом прямоугольнике противоположные стороны равны.
в) Все числа кратные 2, являются четными. Число 17 не является четным. Следовательно, оно не делится на 2.
г) Равные треугольники имеют равные площади. Треугольники АВС и МНР имеют равные площади. Следовательно,
