Составители:
Рубрика:
ЕСЛИ А, ТО В ЕСЛИ А, ТО В
А не-В
_____________ _____________
ЗНАЧИТ, В ЗНАЧИТ, не-А
Например, Например,
Если число делится на 6, Если число делится на 6,
то оно делится на то оно делится на
Это число делится на 6 Это число не делится на
________________________ _________________________
Это число делится на Это число не делится на 6
Упражнение 1. Записать схемы следующих рассуждений:
а) Если упомянутое здание находится в Петербурге, то оно
построено после XVII века. Упомянутое здание построено в
Петербурге. Следовательно, оно построено после XVII века.
б) Если упомянутое здание находится в Петербурге, то оно
построено после XVII века. Здание построено после XVII века.
Следовательно, оно находится в Петербурге.
Какая из двух схем является схемой правильного модуса?
Упражнение 2 . Определить, по какой из двух правильных схем
условно-категорического силлогизма построены следующие
рассуждения:
а) Если суждение общеотрицательное, то субъект и предикат в нем
распределены. Это суждение общеотрицательное. Следовательно,
субъект и предикат в нем распределены.
б) Если суждение общеотрицательное, то субъект и предикат в нем
распределены. В этом суждении субъект и предикат не распределены.
Следовательно, это суждение не общеотрицательное.
2) Р а з д е л и т е л ь н ы м называется силлогизм, в котором
первая посылка разделительное суждение вида "А или В или С..."
(А,В,С... называются альтернативами).
Два правильных модуса
разделительно-категорического силлогизма:
а) утверждающе-отрицающий б) отрицающе-утверждающий
-modus ponendo tollens -modus tollendo ponens
А ЛИБО В ЛИБО С А ЛИБО В ЛИБО С
А не-В и не-С
________________ ________________
не-В и не-С А
Треугольник либо остроугольный, либо прямоугольный, либо
тугоугольный.
Этот треугольник остроугольный. Значит, этот треугольник не
прямоугольный и не тупоугольный.
Треугольник либо остроугольный, либо прямоугольный, либо
тупоугольный.
Этот треугольник не прямоугольный и не тупоугольный.
Следовательно, он остроугольный.
Примечание. Для правильного вывода по утверждающе-
отрицающему модусу необходимо, чтобы были перечислены все
52
Страницы
- « первая
- ‹ предыдущая
- …
- 50
- 51
- 52
- 53
- 54
- …
- следующая ›
- последняя »
