Контрапозиция
 
а б в г д е ж з и й к л м н о п р с т у ф х ц ч ш щ ъ ы ь э ю я
 

Контрапозиция

Контрапозиция (позднелат. contrapositio — противоположение, от лат.(латинский) contra — против и pono — располагаю, ставлю), закон классической логики, гласящий: если из некоторого суждения А следует суждение В, то из отрицания суждения В следует отрицание суждения А (или на языке условных суждений: из истинности суждения «Если А, то В» следует истинность суждения «Если не-В, то не-А »).

  Лит.: Черч А., Введение в математическую логику, пер.(перевод) с англ.(английский), М., 1960; Тарский А., Введение в логику и методологию дедуктивных наук, пер.(перевод) с англ.(английский), М., 1948.