-
умозаключение, в котором одна из посылок -
разделительное суждение, а другая - категорическое. Р.-к. у. имеет два
модуса: 1) модус утверждающе-отрицающий; 2) модус отрицающе-утверждающий. Простейшая
форма модуса (1) имеет вид: S есть Р1 или P2 (первая посылка); S есть Р1 (вторая посылка); S не есть P2 (заключение). Такую форму имеет, напр., следующее умозаключение: "Жидкие коллоидные системы бывают эмульсиями либо золями. Данная жидкая коллоидная
система является эмульсией. Данная жидкая коллоидная система не является золем". В таком умозаключении для обеспечения его правильности в разделительной посылке союз "или" ("либо") должен употребляться в строго разделительном
смысле (см.:
Дизъюнкция). Простейшая форма модуса (2) имеет вид: S есть Р1 или P2, S не есть Р1; следовательно, S есть Р2.
Пример: Организмы бывают одноклеточными или многоклеточными. Данный
организм не является одноклеточным. Данный организм является многоклеточным. В таком умозаключении для обеспечения его правильности в первой посылке должны быть перечислены все члены дизъюнкции (альтернативы).