Introduces logic as a way of understanding the meanings of everyday words and sentences, as well as the inferences that humans draw from them. Topics include propositional logic, first-order logic, elementary set theory, and relations.