Simple Proof Methods: Tips
- Unless you answer a question on logic, don't use the symbols $\to$, $\forall$, $\exists$. Example: Instead of writing:
The prime $p$ isn't divisible by $q$, $\forall 1 < q < p$.write:The prime $p$ isn't divisible by any interger $q$ besides $1$ and $p$.
- Don't mix symbols and text improperly. Example: Instead of writing:
Some of the integers $\le 10$ are prime.write:Some of the integers $n \le 10$ are prime.
- Use a symbol in a theorem only when needed (e.g., when used for an equation inside the theorem.) Example: Instead of writing:
The square of any even integer $m$ is even.write:The square of any even integer is even.