deductive equivalence

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