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

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

Контравариантность    Контрапозиция    Контрасигнатура