Skip to main content

PLP: An introduction to mathematical proof

Chapter 8 Return to sets

As we mentioned early, we have changed the order of topics a little in this text so that we can get to proving things as quickly as possible and get you more comfortable with basic proof methods. This meant that we skipped several basic aspects of sets that we should now cover. Thankfully we can now do a bit more with these basic bits of set theory — indeed we can prove some things!