Quantified Theorems on Implication

Distributivity of Implication

Equivalence