Leçons de niveau 14

Logique formelle/Systèmes logiques

Une page de Wikiversité.
Sauter à la navigation Sauter à la recherche
Début de la boite de navigation du chapitre
Systèmes logiques
Icône de la faculté
Chapitre no 1
Leçon : Logique formelle
Retour auSommaire
Chap. suiv. :Calcul des propositions
fin de la boite de navigation du chapitre
Icon falscher Titel.svg
En raison de limitations techniques, la typographie souhaitable du titre, « Logique formelle : Systèmes logiques
Logique formelle/Systèmes logiques
 », n'a pu être restituée correctement ci-dessus.

Un système logique est un système formel dans lequel il va être possible de tenir des raisonnements logiques.

Il est composé de trois éléments :

  • un ensemble de formules;
  • un ensemble de règles de déduction;
  • une interprétation de ces formules.

Les deux premiers points seront développés à l'aide des exemples du calcul des propositions et des prédicats, et le dernier point sera développé à la fin de ce cours.