Выводы из сложных суждений.

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

Чисто условное умозаключение.

Чисто условнымназываетсяумозаключение, обе посылки и заключение которого являются условными суждениями. Его схема в символической записи: ( р ® q) Ù ( q ® r ) или р ® q

р ® r q ® r

р ® r

Вывод в чисто условном умозаключении основывается на правиле: следствие следствия есть следствие основания.

вое); обобщающее понятие: А º учащийся (родовое).

Ограничение понятия - переход от заданного понятия к понятию с меньшим объемом (от рода к виду). А º студент (родовое); В º студент университета (видовое).

Ограничение Обобщение

А - родовое понятие

В - видовое понятие

RОперацию обобщения следует производить по ближайшему родовому понятию, а операцию ограничения - по ближайшему видовому. Не следует обобщать до категории, а ограничивать до единичного понятия.