Table des matières

• Introduction
  • Autour de la logique
  • Organisation du cours
• Chapitre 1  Maîtriser le langage logique
  • 1.1  Définition du langage
    • 1.1.1  Objets
    • 1.1.2  Formules atomiques
    • 1.1.3  Formules complexes
    • 1.1.4  Traduire des énoncés en formule logique
  • 1.2  Structure des formules
    • 1.2.1  Représentation des formules comme des arbres
    • 1.2.2  Notations, règles de parenthésage
    • 1.2.3  Variables libres, liées
  • 1.3  Formule vraie
    • 1.3.1  Le cas propositionnel
    • 1.3.2  Formule avec quantificateurs
  • 1.4  Théories et modélisation
    • 1.4.1  Définitions autour des théories
    • 1.4.2  Exemples de théories
  • 1.5  Définition récursive sur les formules
    • 1.5.1  Définir une fonction
    • 1.5.2  Raisonner sur les formules
    • 1.5.3  Définition récursive sur les termes
• Annexe A  Correction des exercices du cours
  • A.1  Exercices du chapitre 1