This new edition is for introductory and intermediate level logic courses, offered in Philosophy departments. The semantics, syntax, and metatheory of both sentential and predicate logic are covered in detail. Techniques and concepts are presented first informally, then formally, using comprehensive explanations and numerous carefully constructed examples throughout. The book has reworked, clarified explanations, rules given more functional names, and many more unsolved exercises.