First, students are introduced to propositional logic, logical operators, and truth tables, while reviewing and reapplying the concepts of validity, contradiction, consistency, and equivalence. Next they learn to construct formal proofs of validity by using basic rules to derive an argument's conclusions from its premises. Finally, students discover how they can use the technique of "truth trees" to determine consistency, self-contradiction, tautology, equivalence, and validity.
This text, together with Introductory Logic by james Nance and Douglas Wilson, provides students with a rigorous course in logic that will help them excel in every other subject they will study, from math and science to rhetoric and the humanities. Extensively revised and updated, with additional review questions and exercises for each unit, this book is an essential part of every Christian school or home school curriculum. 27 lessons, 209 pages; consumable, non-reproducible workbook.