1) взаимно выводимый 2) дедуктивно равный 3) равные дедуктивно • - interdeducible formulas
INTERDEDUCIBLE
Англо-русский перевод INTERDEDUCIBLE
English-Russian scientific and technological dictionary . Англо-Русский научно-технический словарь. 2005