I have decided to include undergraduate proofs in this blog. We will be studying formal proofs starting with logic (truth tables, logical connectives, etc.) and then study different methods of proofs (direct, indirect, etc).
While studying these concepts, we will have numerous examples from different branches of mathematics particularly number theory, probability, and combinatorics.
I’m very excited to start this series, so just keep posted.