Большая Советская энциклопедия - контрапозиция

(позднелат. contrapositio — противоположение, от лат. contra — против и pono — располагаю, ставлю)

закон классической логики, гласящий: если из некоторого суждения А следует суждение В, то из отрицания (См. Отрицание) суждения В следует отрицание суждения А (или на языке условных суждений: из истинности суждения «Если А, то » следует истинность суждения «Если не-В, то не-А »).

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

Большая советская энциклопедия. — М.: Советская энциклопедия

1969—1978