Английский ⇄ Литовский Русский Украинский +

interdeducible formulas ударения
ИТ.	дедуктивно равные формулы
Макаров.	взаимновыводимые формулы
interdeducible formulae
мат.	взаимновыводимые формулы; дедуктивно равные формулы