10. Logical equivalences

At some point in logic, you might come across two different propositions that turn out to have the exact same truth values in every case. We call this an equivalence.