Словари

Архитектурный словарь
Бизнес словарь
Биографический словарь
Медицинский словарь
Морской словарь
Психологический словарь
Религиозный словарь
Сексологический словарь
Словарь Даля
Словарь имён
Словарь компьютерного жаргона
Словарь логики
Словарь мер
Словарь нумизмата
Словарь Русских фамилий
Словарь символов
Словарь синонимов
Строительный словарь
Финансовый словарь
Энциклопедический словарь
Этнографический словарь


А Б В Г Д Е Ж З И К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я Ы

Словарь логики

    (всего слов: 420)

Превращение

(лат. obversio) в традиционной логике  — вид непосредственного умозаключения, характеризующегося тем, что в исходных суждениях вида A, Е, I, О (см.: Суждение) предикат Р заменяется на не-Р (т. е. на его дополнение), и наоборот, и при этом качество суждения изменяется (утвердительное суждение преобра­зуется в отрицательное, и наоборот), а его общность (т. е. количество суждения) остается прежней. Так, из истинного суждения вида «Все S суть Р» путем его П. можно получить истинное суждение вида «Ни одно S не есть не-Р» (ср.: «Все тигры — хищные животные» и «Ни один тигр не является не-хищным животным»). Из истинного суждения вида «Ни одно S не есть Р» можно путем П. получить истинное суждение вида «Все S суть не-Р» (ср.: «Ни один кит не есть рыба» и «Все киты суть не-рыбы»). Из истинного суждения вида «Некоторые S суть Р» путем П. можно получить истинное суж­дение вида «Некоторые S не суть не-Р» (ср.: «Некоторые металлы являются жидкими» и «Некоторые металлы не являются не-жидкими»). Из истинного суждения вида «Некоторые S не суть Р» путем П. можно получить истинное суждение вида «Некоторые S есть не-Р» (ср.: «Некоторые учащиеся не являются отличниками» и «Неко­торые учащиеся являются не-отличниками»).


назад