ABSTRACT

Sets and logic are the fundamentals that underlie all of mathematics, not just discrete mathematics. However, a discrete mathematics course is a customary place to address them directly. Sets are collections of objects. Logic is a formal way of describing reasoning. We will both describe and construct sets, and we will develop truth tables as a way to use logic on compound statements. Logical tools are available for when we have trouble figuring out how to reason precisely using English.