Rule of Material Equivalence

Theorem
The rule of material equivalence is a valid deduction sequent in propositional logic:


 * If we can conclude that $p$ implies $q$ and if we can also conclude that $q$ implies $p$, then we may infer that $p$ $q$.