אנגלית ⇄ אוקראינית ליטאית רוסית +

interdeducible formulas מתח
.טכנול	дедуктивно равные формулы
	взаимновыводимые формулы
interdeducible formulae
.מָתֵי	взаимновыводимые формулы; дедуктивно равные формулы