{"id":27343,"date":"2021-01-27T13:00:18","date_gmt":"2021-01-27T13:00:18","guid":{"rendered":"http:\/\/toposuranos.com\/material\/?p=27343"},"modified":"2024-07-06T22:37:53","modified_gmt":"2024-07-06T22:37:53","slug":"4-essential-deduction-techniques","status":"publish","type":"post","link":"http:\/\/toposuranos.com\/material\/en\/4-essential-deduction-techniques\/","title":{"rendered":"4 essential deduction techniques"},"content":{"rendered":"
\n
<\/p>\n

Learn 4 Essential Deduction Techniques<\/h1>\n

<\/center><\/p>\n

Summary:<\/strong><\/br>In this class, 4 deduction techniques of propositional logic are described to enrich the rudimentary propositional calculus presented so far. The presumption rule and its combination with the monotonicity rule are presented, as well as hypothetical syllogism and two ways to obtain this deduction rule. The double negation equivalences and the contrapositive of implication are also explained.<\/em><\/p>\n

Learning Objectives<\/u>:<\/strong>
By the end of this class, the student will be able to<\/p>\n

    \n
  1. Recall<\/strong> the structure of reasoning and simple examples.<\/li>\n
  2. Understand<\/strong> the presumption rule and its relationship with the deduction theorem.<\/li>\n
  3. Understand<\/strong> the rule of hypothetical syllogism and its relationship with modus ponens.<\/li>\n
  4. Apply<\/strong> the deduction theorem in propositional logic.<\/li>\n
  5. Apply<\/strong> the monotonicity rule in the deduction of expressions.<\/li>\n
  6. Understand<\/strong> the double negation equivalences and the contrapositive of implication in propositional logic.<\/li>\n
  7. Know<\/strong> the demonstrations of the deduction techniques and be able to apply them in practice.<\/li>\n<\/ol>\n

    TABLE OF CONTENTS<\/strong>
    \nPRESUMPTION RULE (PRE)<\/a>
    \n    HYPOTHETICAL SYLLOGISM (HS)<\/a>
    \n    DOUBLE NEGATION EQUIVALENCES (DN)<\/a>
    \n    CONTRAPOSITIVE EQUIVALENCE OF IMPLICATION (CPI)<\/a>\n<\/p>\n


    \n