Mathematical proof and notation

Use implication, equivalence, exhaustion and counterexample with precise notation.

One step at a time. Answers stay hidden until you have had a go.