Discrete Mathematics for Computer Science

In this chapter, we will learn to construct valid logical arguments. Although these arguments will usually be applied to mathematics, they employ the same techniques that are used by a lawyer in a courtroom or a physician examining a patient.