(позднелат. contrapositio - противоположение, от лат. contra - против и pono - располагаю, ставлю), закон классической логики, гласящий: если из некоторого суждения А следует суждение В, то из отрицания суждения В следует отрицание суждения А (или на языке условных суждений: из истинности суждения 'Если А, то В' следует истинность суждения 'Если не- В , то не- А ').
Лит.: Черч А., Введение в математическую логику, пер. с англ., М., 1960; Тарский А., Введение в логику и методологию дедуктивных наук, пер. с англ., М., 1948.