Artículo: AMZ-B0BM4TX97H

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

Disponibilidad
En stock
Peso con empaque
1.27 kg
Devolución
Condición
Nuevo
Producto de
Amazon

Sobre este producto
  • 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 FormsA. Propositions and Propositional FormsB. Proper Substitution Instances of Propositional FormsC. Substitution Instances of Propositional FormsD. Substitution Instances of Argument FormsUnit 3.B Proofs with Complex Substitution Instances (rules in Unit 3.1)A. Inference Rules do Not Apply to Components of PropositionsB. Exercises on Rule ApplicationC. Examples of ProofsUnit 3.C Proofs of Tautologies and Logical EquivalenceA. Proofs of Logical EquivalenceB. Proofs of TautologiesUnit 3.D Disjunctive Syllogism, Modus Tollens, and Three Additional Inference RulesA. Disjunctive Syllogism (DS)B. Modus Tollens (MT)C. More Exercises on DS and MTD. Hypothetical Syllogism (HS), Absorption (ABS), Constructive Dilemma (CD)Unit 3.E Replacement RulesA. Ten Rules of ReplacementB. Proofs with Replacement RulesSolutions to Exercises
$59,60
49% OFF
$30,57

IMPORT EASILY

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

$59,60
49% OFF
$30,57

U$S 20 OFF automáticamente al pagar con Deuna

Envío gratis
Llega en 5 a 12 días hábiles
Con envío
Tienes garantia de entrega
Este producto viaja de USA a tus manos en
Medios de pago Tarjetas de Débito, Crédito y Deuna

Compra protegida

Disfruta de una experiencia de compra segura y confiable