{"id":27475,"date":"2021-02-12T13:00:01","date_gmt":"2021-02-12T13:00:01","guid":{"rendered":"http:\/\/toposuranos.com\/material\/?p=27475"},"modified":"2024-07-09T05:24:59","modified_gmt":"2024-07-09T05:24:59","slug":"demonstration-des-techniques-de-la-logique-classique","status":"publish","type":"post","link":"http:\/\/toposuranos.com\/material\/fr\/demonstration-des-techniques-de-la-logique-classique\/","title":{"rendered":"D\u00e9monstration des Techniques de la Logique Classique"},"content":{"rendered":"
\n
<\/p>\n

D\u00e9monstration des Techniques de la Logique Classique<\/h1>\n

<\/p>\n

R\u00c9SUM\u00c9<\/strong>
Dans ce cours, plusieurs techniques de la logique classique sont pr\u00e9sent\u00e9es pour introduire et \u00e9liminer les conjonctions et les disjonctions, ainsi que la r\u00e8gle du tiers exclu et la r\u00e8gle de contradiction, \u00e9galement connue sous le nom de principe d’explosion. De plus, la technique de preuve par les cas et la r\u00e9duction \u00e0 l’absurde sont expliqu\u00e9es, toutes deux tr\u00e8s utiles dans les d\u00e9monstrations math\u00e9matiques et logiques en g\u00e9n\u00e9ral. Chaque technique est pr\u00e9sent\u00e9e formellement et une d\u00e9monstration \u00e9tape par \u00e9tape est fournie pour sa compr\u00e9hension. Si vous souhaitez approfondir la logique propositionnelle et am\u00e9liorer vos comp\u00e9tences en d\u00e9monstration de th\u00e9or\u00e8mes, ce cours vous sera tr\u00e8s utile.<\/em><\/p>\n

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

OBJECTIFS D’APPRENTISSAGE :<\/strong><\/p>\n

    \n
  1. Comprendre<\/strong> la justification des techniques d’introduction et d’\u00e9limination des conjonctions et disjonctions.<\/li>\n
  2. Comprendre<\/strong> la propri\u00e9t\u00e9 du tiers exclu ou tautologie (TAU) en logique classique.<\/li>\n
  3. Comprendre<\/strong> la r\u00e8gle de contradiction (CON) ou principe d’explosion en logique classique.<\/li>\n
  4. Comprendre<\/strong> la technique d’\u00e9limination des disjonctions (\u2228-\u00e9limination3) en logique classique.<\/li>\n
  5. Comprendre<\/strong> la technique de preuve par les cas (CAS) en logique classique.<\/li>\n
  6. Comprendre<\/strong> la technique de r\u00e9duction \u00e0 l’absurde (absurdo) en logique classique.<\/li>\n
  7. Appliquer<\/strong> les connaissances des diff\u00e9rentes techniques de la logique classique pour r\u00e9soudre des probl\u00e8mes et des d\u00e9monstrations complexes.<\/li>\n<\/ol>\n

    TABLE DES MATI\u00c8RES<\/strong>
    \nINTRODUCTION ET \u00c9LIMINATION DES CONJONCTIONS ET DISJONCTIONS<\/strong><\/a>
    \n    \u2228-INTRODUCTION<\/a>
    \n    \u2228-\u00c9LIMINATION<\/a>
    \n    \u2227-INTRODUCTION<\/a>
    \n    \u2227-\u00c9LIMINATION<\/a>
    \n    TECHNIQUES DE CONTRADICTIONS ET TAUTOLOGIES<\/strong><\/a>
    \n    R\u00c8GLE DU TIERS EXCLU OU TAUTOLOGIE (TAU)<\/a>
    \n    R\u00c8GLE DE CONTRADICTION OU PRINCIPE D’EXPLOSION<\/a>
    \n    \u2228-\u00c9LIMINATION3<\/a>
    \n    PREUVE PAR LES CAS (CAS)<\/a>
    \n    R\u00c9DUCTION \u00c0 L’ABSURDE (ABSURDO)<\/a><\/p>\n


    \n