КОНТРАПОЗИЦИЯ
(позднелат.
contrapositio - противоположение, от лат. contra - против и ропо - располагаю,
ставлю), закон классич. логики, гласящий: если из нек-рого суждения А
следует суждение В, то из отрицания
суждения В следует
отрицание суждения А (или на языке условных суждений: из истинности
суждения "Если А, т? В" следует истинность суждения "Если не-В,
то не-Л").
Лит.: Черч
А., Введение в математическую логику, пер. с англ., М., 1960; Тарский А.,
Введение в логику и методологию дедуктивных наук, пер. с англ., М., 1948.
А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я