Logic and Proof Techniques

We begin this chapter with the definition of mathematical statements, and introduce some logical connectives that we will use frequently in this book. We will also discuss some commonly used methods to prove mathematical results.