Skip to main content

PLP: An introduction to mathematical proof

Section 1.3 Onward

Of course there is much more to be done with sets, however we’d really like to get into logic and proving things as quickly as possible. So we’ll stop our discussion of sets for now and come back later armed with more logic and some proof ideas.