Author Description

Like personal trainers, the Workbooks offer a practical and empathic approach to introductory logic. They are designed for beginners and for anyone who wants to build confidence by doing more exercises. Workbook 5 presupposes your mastery of a Fitch-style natural deduction system with 11 propositional-connective inference rules (Workbook 3, Full or Extra Full Edition). Workbook 5 (Extra Full Edition) helps you learn how to: do proofs in monadic predicate logic by means of 4 quantifier inference rules (introduction and elimination rules for each quantifier) do proofs by means of quantifier replacement rules do proofs of theorems in monadic predicate logic do proofs of invalidity using the finite-universe method use natural deduction as aid in more complex symbolizations. Each inference and replacement rule is introduced through numerous exercises. There are a variety of rule-application exercises, baby-proof exercises, and proof exercises. Their difficulty increases gradually. The point is to train your "logic muscles" until they become strong enough to carry "heavy-weight" content. Visual metaphors help to navigate even multiple subderivations. The study is aided by many examples worked out step by step, warnings of common errors, as well as complete solutions to all exercises. The Extra Full Edition includes more exercises than the Full Edition. Its two supplementary units aid in transitioning to the application of propositional connective (inference and replacement) rules in predicate logic. Workbook 5 focuses exclusively on monadic predicate logic. Workbook 6 considers the more general relational predicate logic. Whenever I use the term ‘predicate logic’ without a qualifier, I mean monadic predicate logic. I use the term ‘quantifier logic’ for the more general relational predicate logic. Various textbooks introduce restrictions on UG and EI in different ways. The rules presented here are modeled on those presented in the classic work by F.B. Fitc