Akademik

(от лат. inversio – перестановка)

в психологии объемно-наглядное переворачивание. Напр., когда наблюдатель движется вперед и назад на некотором расстоянии перед маской, расположенной на темном фоне и обращенной к наблюдателю внутренней стороной, то она кажется ему то полой формой, то оживает, как будто становится видной ее лицевая сторона. Подобная же инверсия происходит с некоторыми геометрическими фигурами: напр., переднюю и заднюю грани изображенного на плоскости куба можно мысленно менять местами.

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

Лит.: Тарский Α., Введение в логику и методологию дедуктивных наук, пер. с англ., М., 1948, гл. 2; Градштейн И. С., Прямая и обратная теоремы. Элементы алгебры логики, 3 изд., М., 1959.

2) В науке о языке – перестановка слов в грамматич. предложении, нарушающая их обычный порядок, но сохраняющая осн. смысл предложения; грамматич. предложение (или грамматич. конструкция) с порядком слов, отличным от обычного.

3) В теории автоматов – операция отрицания суждения. Устройство, моделирующее И., наз. инвертором. См. Логические схемы автоматов.

Лит.: Гаазе-Рапопорт М. Г., Автоматы и живые организмы, М., 1961, гл. 4.