SKU/Artículo: AMZ-B0CXXBJTG2
Natural Deduction in Monadic Predicate Logic: Workbook 5 Extra Full Edition (Logic Self-Taught Workbooks)
Format:
Paperback
Detalles del producto
Disponibilidad:
En stock
En stock
Peso con empaque:
1.38 kg
1.38 kg
Devolución:
Sí
Sí
Condición
Nuevo
Nuevo
Producto de:
Amazon
Amazon
Viaja desde
USA
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 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 rulesdo proofs of theorems in monadic predicate logicdo proofs of invalidity using the finite-universe methoduse 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. Fitch Symbolic Logic (1952). We follow Fitch in constructing subderivations (chambers) for both rules, which helps keep track of the restrictions. We must just make sure that (1) each chamber is assigned a unique arbitrary individual and (2) arbitrary individuals do not leave their chambers.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.Contents: Unit 5.1 Inference Rules for Propositional Connectives in Monadic Predicate Logic Unit 5.2 Universal Instantiation and Existential Generalization Instances of Generalizations Universal Instantiation Existential Generalization Unit 5.3 Universal Generalization On Arbitrary Individuals and Their Chambers More Proofs: Chambers in Subderivations Unit 5.4 Existential Instantiation Unit 5.5 Logical Equivalence, Theorems, Invalidity Unit 5.6 Replacement Rules Propositional Connective Replacement Rules Quantifier Negation Replacement Rules (QN) Categorical Quantifier Negation Replacement Rules (CQN) Unit 5.7 More Complex Symbolizations Unit 5.A Inference Rules for Propositional Connectives in Predicate Logic Unit 5.B Propositional Connective Replacement Rules in Predicate Logic 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
Pagá fácil y rápido con Mercado Pago o MODO
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
![]()
a tus manos en
Compra protegida
Disfruta de una experiencia de compra segura y confiable
Tarjetas de Crédito y Débito
Visa
Mastercard
American Express
Pagos a través de PayPal
Compra procesada en dólares con dinero en cuenta o tarjetas internacionales.
Paypal
Pagos a través de MODO
Compra procesada en pesos desde la App de tu banco.
PayPal
