PROOF STRUCTURE
• State
theorem to be proved in symbolic form.
• Mark
beginning with word "Proof:"
• Introduce
initial variables and explain
- what kind of objects they are (i.e. which
set they belong to)
- what other properties they have
• Proof body
- start from assumptions (i.e. what is
already known)
- work step by step towards conclusion
- justify every step with either an
assumption, a previously derived step, an axiom, an already proved theorem, or
a valid argument form.
• Conclusion
- Mark end with Q.E.D or Q
or
Use template provided in .doc format or .pdf
format