Logique classique du premier ordre
Jean Goubault-Larrecq
Dans ce chapitre, nous présentons une logique bien plus expressive que
la plupart des logiques propositionnelles des chapitres précédents.
Ceci est fait en raffinant le langage de la logique, et en remplaçant
les variables propositionnelles par des formules plus élaborées
décrivant les propriétés de valeurs dans un domaine d'intérêt.
On aboutit ainsi à la logique du premier ordre, ou calcul
des prédicats. La plupart des logiques propositionnelles
peuvent être étendues au premier ordre (et même à l'ordre supérieur).
Nous présentons ici la logique du premier ordre classique.
This document was translated from LATEX by HEVEA.
This document was cut into pieces by
HACHA.