Introduction to Logic is a combined text and workbook for students beginning their study of logic. The workbook style allows students to proceed at their own pace, checking their progress in the end-of-chapter exercises.
- The text covers propositional logic and predicate logic with identity, the focus being on arguments.
- The methods of proof are truth-tables and truth-trees (semantic tableaux) in the style of Jeffrey.
This text is suitable for students of philosophy, computer science, mathematics and science in general.
Additional resources
Additional teaching and assessment resources are available from the author at r.girle@auckland.ac.nz. These resources include a full set of PowerPoint® presentations, and sample test papers in Microsoft Word®.
Students love this text. Wherever it has been used, the numbers taking logic have soared.
