дедуктивная эквивалентность

Мат. deductive equivalence