Uploaded March 2025 | Updated September 2026, 1 week ago

---

Writing proofs is an important part of abstract algebra. I maintain that it is the best branch of mathematics to start to explore proofs.

In this, and the next few lectures, I introduce the basics of proofs. This is not a replacement for a dedicated course in proofs, but is a good introduction.

This lecture is about propositional logic, logical connectives, and truth tables.