ABSTRACT

What’s covered here? With sets, we have descriptions and constructions and notation. Within logic, we have truth tables and ways to describe reasoning. This is mostly pretty boring, and that’s unavoidable. Still, you have my sympathies-you’ll probably want to review the definitions in this chapter regularly.