Which is NOT used to reach conclusion in a formal proof?
1. Inductive reasoning
2. True premises
3. Logic
4. Postulates or previously proven theorems