deductively equivalent

Мат. дедуктивно эквивалентный