Контрапозиції закон - це
Словник з логіки. - М.: Туманіт, вид. центр ВЛАДОС. А. А. Івін, А. Л. Нікіфоров. 1997 .
Дивитись що таке "контрапозиції закон" в інших словниках:
КОНТРАПОЗИЦІЇ ЗАКОН — закон логіки, який проголошує, що якщо з деякого судження А випливає судження В, то з заперечення судження слід заперечення судження А. К. з. можна також сформулювати у вигляді правила для умовних суджень: з істинності судження Якщо А, то В ... Філософська енциклопедія
КОНТРАПОЗИЦІЇ ЗАКОН — логічний принцип, згідно з ромом якщо з одного твердження випливає інше, то заперечення останнього тягне заперечення першого: К. з. приймається як класичною, і конструктивної логікою. С. К. Соболєв … Математична енциклопедія
Закон контрапозиції — Див. також: Modus tollens Закон контрапозиції закон класичної логіки, який стверджує, що в тому випадку, якщо якась посилка A тягне за собою певний наслідок B, то заперечення цього слідства (тобто «не B») тягне за собою заперечення цієї посилки (тобто «не A»).
ДОКАЗЕ РОЗБОРОМ ВИПАДКІВ — міркування з випадків (англ. proof by cases), – поширений (особливо у змістовному мисленні) спосіб логіч. висновку, при якому справедливість висновку встановлюється за допомогою розгляду ряду умов (випадків), аналіз яких… … Філософська енциклопедія
ПРЕДИКАТІВ ЛІКУВАННЯ — загальна назва обчислень математичної логіки, що є формалізацією тих розділів суч. логіки, які вивчають суб'єктно предикатну структуру речень (висловлювань), що розуміється в ширшому, ніж у традиціях. логіці, сенсі: окрім теорії … Філософська енциклопедія
Список статей з логіки — Це службовий список статей, створений для координації робіт зрозвитку теми. Дане попередження не ... Вікіпедія
ІНВЕРСІЯ - (від латів. inversio - перестановка) в психології об'ємно наочне перевертання. Напр., коли спостерігач рухається вперед і назад на деякій відстані перед маскою, розташованою на темному тлі і зверненою до спостерігача внутрішньою стороною, ... Філософська енциклопедія
КОНВЕРСІЯ - (лат. conversio, букв. - Перетворення, зміна) - 1) Те ж, що звернення. 2) Перетворення умовного судження, що полягає у заміні його підстави з його слідство, а слідства – на підставу; утворює з судження виду Якщо А, то судження виду ... ... Філософська енциклопедія
МОНОТОННІСТЬ - (від грец. μονότονος - однотонний) - властивість деяких логічних або математичних операцій (функцій), що складається, грубо кажучи, в тому, що напрямок можливої зміни результату операцій залежить тільки від напрямку зміни того, над чим… … Філософська енциклопедія