{"id":27462,"date":"2021-02-12T13:00:00","date_gmt":"2021-02-12T13:00:00","guid":{"rendered":"http:\/\/toposuranos.com\/material\/?p=27462"},"modified":"2024-07-09T04:28:57","modified_gmt":"2024-07-09T04:28:57","slug":"demonstration-of-classical-logic-techniques-2","status":"publish","type":"post","link":"http:\/\/toposuranos.com\/material\/en\/demonstration-of-classical-logic-techniques-2\/","title":{"rendered":"Demonstration of Classical Logic Techniques"},"content":{"rendered":"
\n
<\/p>\n

Demonstration of Classical Logic Techniques<\/h1>\n

<\/p>\n

SUMMARY<\/strong>
In this class, several techniques of classical logic for introducing and eliminating conjunctions and disjunctions are presented, along with the law of the excluded middle and the law of contradiction, also known as the principle of explosion. Additionally, the technique of proof by cases and reduction to absurdity are explained, both of which are very useful in mathematical and logical demonstrations in general. Each technique is formally presented and a step-by-step demonstration is provided for understanding. If you want to deepen your understanding of propositional logic and improve your theorem demonstration skills, this class will be very useful to you.<\/em><\/p>\n

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

LEARNING OBJECTIVES:<\/strong><\/p>\n

    \n
  1. Understand<\/strong> the justification behind the techniques of introducing and eliminating conjunction and disjunction.<\/li>\n
  2. Understand<\/strong> the property of the excluded middle or tautology (TAU) in classical logic.<\/li>\n
  3. Understand<\/strong> the rule of contradiction (CON) or principle of explosion in classical logic.<\/li>\n
  4. Understand<\/strong> the technique of eliminating disjuncts (\u2228-elimination3) in classical logic.<\/li>\n
  5. Understand<\/strong> the technique of proof by cases (CAS) in classical logic.<\/li>\n
  6. Understand<\/strong> the technique of reduction to absurdity (absurd) in classical logic.<\/li>\n
  7. Apply<\/strong> the knowledge of the different techniques of classical logic to solve complex problems and demonstrations.<\/li>\n<\/ol>\n

    INDEX<\/strong>
    \nINTRODUCTION AND ELIMINATION OF CONJUNCTIONS AND DISJUNCTIONS<\/strong><\/a>
    \n    \u2228-INTRODUCTION<\/a>
    \n    \u2228-ELIMINATION<\/a>
    \n    \u2227-INTRODUCTION<\/a>
    \n    \u2227-ELIMINATION<\/a>
    \n    TECHNIQUES OF CONTRADICTIONS AND TAUTOLOGIES<\/strong><\/a>
    \n    RULE OF THE EXCLUDED MIDDLE OR TAUTOLOGY (TAU)<\/a>
    \n    RULE OF CONTRADICTION OR PRINCIPLE OF EXPLOSION<\/a>
    \n    \u2228-ELIMINATION3<\/a>
    \n    PROOF BY CASES (CAS)<\/a>
    \n    REDUCTION TO ABSURDITY (ABSURD)<\/a><\/p>\n


    \n