Logique formelle/Systèmes logiques

**Systèmes logiques**
Leçon : Logique formelle

Chapitre n^o 1
Retour au	Sommaire
Chap. suiv. :	Calcul des propositions

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.

Logique formelle

Sommaire

Calcul des propositions