For courses in Introduction to Logic and Formal Logic. This clearly written volume covers symbolization, proofs, counterexamples, and truth trees. These topics are presented in graded steps, beginning with the symbolization of categorical propositions an