# Introduction to Mathematical Proof Writing

This course was the introduction to mathematical proof writing. In this class, Dr. Boyle taught us many classic proof techniques used by mathematicians including direct proof, induction, and the contradiction method of proofing. More than just teaching us the techniques, we were also taught how to determine when to use each technique. Although direct proof may often seem nice, it can ultimately be the hardest use as it gives the mathematician less to work with within the proof. As part of the honors requirements for this course, we also learned how to use overleaf (a software used to type mathematics papers).

I used this software to type my proofs for our final project as seen below. We were assigned a new section of our textbook to complete using the techniques she had taught us all semester. The proofs were tricky, but allowed us to practice difficult techniques such as complete induction and contradiction.