SKU/Artículo: AMZ-B0BM4TX97H

Natural Deduction in Propositional Logic: Workbook 3 (Logic Self-Taught Workbooks)

Format:

Paperback

Hardcover

Paperback

Detalles del producto
Disponibilidad:
En stock
Peso con empaque:
1.37 kg
Devolución:
Condición
Nuevo
Producto de:
Amazon
Viaja desde
USA

Sobre este producto
  • 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 (Full Edition) helps you learn how to:do proofs in a Fitch-style natural-deduction system with 11 inference rules (introduction and elimination rules for each connective, reiteration rule)do proofs by means of additional inference rules (e.g., Disjunctive Syllogism and Modus Tollens) and by means of replacement rulesdo proofs of tautologies.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).There are two other editions of Workbook 3. The Thin Edition does not have the supplementary units. The Extra Full Edition contains the supplementary units as well as 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 Logic: Workbook 3 Full Edition by Dr. Phi.)Contents:Introduction to Natural Deduction: How to Learn Proofs? Unit 3.1 Conjunction Introduction, Conjunction Elimination, and Conditional Elimination Unit 3.2 Biconditional Elimination and Disjunction Introduction Unit 3.3 Subderivation Rules: Conditional Introduction Unit 3.4. Nested Subderivations: Reiteration (R) Unit 3.5. Biconditional Introduction and Disjunction Elimination Unit 3.6. Negation Introduction and Negation Elimination Unit 3.A Substitution Instances of Propositional and Argument Forms A. Propositions and Propositional Forms B. Proper Substitution Instances of Propositional Forms C. Substitution Instances of Propositional Forms D. Substitution Instances of Argument Forms Unit 3.B Proofs with Complex Substitution Instances (rules in Unit 3.1) A. Inference Rules do Not Apply to Components of Propositions B. Exercises on Rule Application C. Examples of Proofs Unit 3.C Proofs of Tautologies and Logical Equivalence A. Proofs of Logical Equivalence B. Proofs of Tautologies Unit 3.D Disjunctive Syllogism, Modus Tollens, and Three Additional Inference Rules A. Disjunctive Syllogism (DS) B. Modus Tollens (MT) C. More Exercises on DS and MT D. Hypothetical Syllogism (HS), Absorption (ABS), Constructive Dilemma (CD) Unit 3.E Replacement Rules A. Ten Rules of Replacement B. Proofs with Replacement Rules Solutions to Exercises
AR$79.571
55% OFF
AR$36.167

IMPORT EASILY

By purchasing this product you can deduct VAT with your RUT number

AR$79.571
55% OFF
AR$36.167
Llega en 8 a 12 días hábiles
con envío
Tienes garantía de entrega
Este producto viaja de USA a tus manos en