Значение словосочетания «разделительно-категорическое умозаключение»

Что означает словосочетание «разделительно-категорическое умозаключение»? Значение словосочетания «разделительно-категорическое умозаключение» в словарях русского языка, ассоциации, синонимы, а также примеры употребления его в тексте.

Разделительно-категорическое умозаключение

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

Источник: Философский словарь
Разделительно-категорическое умозаключение

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

Источник: Словарь логики