Exercise 1

Show that the following are true:

1. The conditional is logically equivalent to its contrapositive: $p\to q \equiv \neg q \to \neg p$.
2. The converse is logically equivalent to the inverse: $q\to p \equiv \neg p \to \neg q$.