 Theorem 1.  A finitary and finitely algebraizable logic \(\bL\) has the deduction-detachment property if and only if the principal relative congruences of the algebras in \(\bAlg\bL\) are equationally definable.