Полный англо-русский словарь
1) равные дедуктивно 2) взаимно выводимый 3) дедуктивно равный ∙ — interdeducible formulas взаимно-выводимый