Akademik

(лат. conversio, букв. – превращение, изменение) – 1) То же, что обращение. 2) Преобразование условного суждения, состоящее в замене его основания на его следствие, а следствия – на основание; образует из суждения вида "Если А, то В" суждение вида "Если В, то А", называемое конверсным суждением, или К. данного суждения. При истинности исходного суждения конверсное суждение может быть как истинным, так и ложным. В математике К. известна как способ формулировки обратной теоремы по данной прямой теореме. Об отношении суждения, конверсного данному, к инверсному и контрапозитивному суждению см. Инверсия, Контрапозиции закон.

Лит.: Тарский Α., Введение в логику и методологию дедуктивных наук, пер. с англ., М.–Л., 1948, гл. 2; Градштейн И. С., Прямая и обратная теоремы, 3 изд., М., 1959; Чёрч Α., Введение в математич. логику, [т. ] 1, пер. с англ., [М. ], 1960, с. 161; Ziehen Τh., Lehrbuch der Logik..., Bonn, 1920, S. 718–20.