Logical Equivalence

Two propositions are equivalent when neither can be true without the other