INTRODUCTION TO LOGIC - PREDICATE LOGIC

This new edition covers symbolization, proofs, counterexamples, and truth trees. These topics are presented in graded steps, beginning with the symbolization of categorical propositions and concluding with the properties of relations. Examples and exercises are drawn from such sources as newspapers, television broadcasts, films, books, and exams. The book enhances students' ability to recognize and evaluate the predicate arguments they encounter outside the logic classroom. Logic is made accessible without sacrificing rigor.