Question: 1. Rewrite every cat drinks beer as an implication.
2. Challenge: Come up with two examples of mathematical statements and two examples of mathematical non-statements.
3. Using truth tables, verify that the converse of a statement is not logically equivalent to the original statement. (Suggestion: make the columns P, Q, P ⇒ Q, and Q ⇒ P, and compare the last two columns.)