Cours Logique formelle et modélisation du raisonnement gratuit en PDF

Table des matières
Introduction : Formalisation du raisonnement | les logiques

1. Systèmes formels : exemples introductifs
   1. Exemple 1 : génération de théorèmes de l'arithmétique
   2. Exemple 2 : calcul d'intégrales
   3. Exemple 3 : arithmétique de Peano
2. Calcul des propositions
   1. Introduction
   2. Syntaxe
   3. Vérité d'une formule
   4. Equivalences classiques
   5. Systèmes axiomatiques
   6. 2.6 Calcul des séquents
3. Calcul des prédicats : exemples introductifs
   1. Le syllogisme ou les catégories d'Aristote
   2. Diagrammes de Venn
   3. Limites du calcul des propositions
   4. Limites des diagrammes de Venn .
4. Calcul des prédicats (logique du premier ordre)
   1. Introduction
   2. Syntaxe
   3. Interprétation des formules
   4. Equivalences classiques
   5. Systèmes axiomatiques
   6. Calcul des séquents
5. Glossaire et défnitions
6. Bibliographie