Natural Deduction in Propositional Logic: Workbook 3. Extra Full Edition

by Dr. Phi

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 3 (Extra Full Edition) helps you learn how Each inference rule is introduced through numerous exercises : 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. There are five supplementary units (on substitution instances, on complex instances of inference rules, on proofs of tautologies, on additional inference rules, on replacement rules). Additional exercises provide even more opportunity for training. There are two other editions of Workbook 3. The Thin Edition contains no supplementary units and no additional exercises. The Full Edition has the supplementary units but no additional exercises. Individual units of Workbook 3 (Extra Full Edition) are available as Logic Self-Taught Workbooklets (3.1, 3.2, etc.). Logic Self-Taught Workbooks are based on the insight that understanding logic is not sufficient for learning logic, just as understanding how to swim is not sufficient for learning to swim and understanding the grammar of a foreign language is not sufficient for learning the language . You need to practice and take an active part in self-teaching . Through systematic work with the Workbooks, you will build self-confidence . You can learn logic, even its hardest parts. ( Previously published as Natural Deduction in Propositional Workbook 3 Extra Full Edition by Dr. Phi. )

515 pages, Paperback

Published November 1, 2022