Université de Blida 2020/2021
Département d’Informatique
2ième année Informatique - S3
Module: Logique mathématique
Chapitre 2- Calcul des prédicats du premier ordre
1- Définition
Un prédicat est un mot qui définit soit une propriété soit une relation
Un prédicat à un seul argument caractérise une propriété, un prédicat à plusieurs arguments
caractérise une relation.
Le nombre d'arguments d'un prédicat caractérise l'arité du prédicat.
Les arguments du prédicats peuvent être des constantes, des variables ou des fonctions.
Le calcul des prédicats introduit deux (02)nouveaux symboles: le quantificateur existentiel ()
et le quantificateur universel ()
2- Le langage du 1ier ordre
Un langage L du 1ier ordre est caractérisé par un alphabet et des règles d'écriture
2-1- Alphabet: il est formé de:
Connecteurs logiques: , , , ,
Quantificateurs: (), ()
Un ensemble dénombrable de symboles de variables: x, y, z, ....
Un ensemble dénombrable de symboles de prédicats: P, Q, R, S, ...
Un ensemble dénombrable éventuellement vide de symboles de constantes: a, b, c ...
Un ensemble dénombrable éventuellement vide de symboles de fonction: f, g, h, ...
Les parenthèses "(", ")"
2.2- Les règles d'écriture
L'ensemble des expressions bien formées du langage du premier ordre est formé de termes et de
formules.
a- Les termes
Toute constante est un terme
Toute variable est un terme
Si f est un symbole de fonction n-aire et t1,t2, ..., tn sont des termes, alors f(t1, t2, ...tn) est un
terme
Aucune autre expression n'est un terme
1
b- Les formules
Si t1,t2, ..., tn sont des termes et P un symbole de prédicat n-aire alors P(t1, t2, ...tn) est une
formule de L.
Si et sont des formules, alors , , , et sont aussi des formules
de L.
Si est une formule et x une variable alors x et x sont des formules de L.
Aucune autre expression n'est une formule de L.
2-3- Priorité des connecteurs
Les connecteurs sont appliqués dans l'ordre suivant: , , , (, ), ,.
Le même connecteur est appliqué de gauche à droite lorsqu'il apparaît plusieurs fois dans
une formule.
Les quantificateurs sont aussi appliqués de gauche à droite.
Exemple
x P(x) y R(y) P(x) se lit x (P(x) y (R(y) P(x)))
P(x) x R(x) S(x, x) se lit P(x) x (R(x) S(x, x))
2-4- Système complet de connecteurs
Un ensemble S de connecteurs est complet pour le calcul des prédicats du premier ordre si étant
donné une formule quelconque , on peut trouver une formule ne contenant que des connecteurs
de S tel que .
Exemple: l'ensemble {, , } forme un système complet.
2-5- Champ d'un quantificateur
C'est la formule qui se trouve sous l'influence d'un quantificateur
x ; x
x ; x
x ( ); x ( )
2-6- Variable libre et variable liée
Une occurrence d'une variable x dans une formule est lié si elle se trouve dans le champ
d'un quantificateur Q x, elle est libre sinon. Q {, }
Une variable x est libre dans s'il existe dans une occurrence libre de x.
Une variable x est liée dans s'il existe dans une occurrence liée de x.
2-7- Substitution d'un terme à une variable
Le résultat de la substitution d'un terme t à une variable v dans une formule est la formule
obtenue en remplaçant dans toutes les occurrences libres de v par t.
2
Cette formule notée [t/v] est obtenue de la façon suivante:
1- est une formule atomique: [t/v] est la formule obtenue en remplaçant toutes les occurrences
de v par t;
2- = , alors [t/v] = ( ) [t/v];
3- = 1 2, alors [t/v]= (1 2) [t/v]= 1 [t/v] 2 [t/v], avec {, , , };
4- = Q x , alors [t/v]= (Q x ) [t/v]= Q x si v = x
Q x [t/v] si v x Q {, }
2-8- Terme libre pour une variable
Un terme t est libre pour une variable v dans une formule ssi:
t ne contient pas de variable;
est une formule atomique;
= et t est libre pour v dans ;
= 1 2 et t est libre pour v dans 1 et dans 2; {, , , }
= Q x et v= x ou bien v x et x ne figure pas parmi les variables de t et t est libre
pour v dans ; avec Q {, }
3- Sémantique de la logique des prédicats du premier ordre
En calcul propositionnel, il existe des moyens algorithmique pour savoir si une formule est
satisfiable ou est une tautologie
En calcul des prédicats, on ne peut définir la valeur de vérité d'une formule qu'on
connaissant la signification des symboles qui apparaissent dans la formule.
3-1- Interprétation
Etant donné L un langage du premier ordre, une Interprétation I sur ce langage, est une fonction du
domaine D non vide qui assigne
A chaque symbole de prédicat P à n arguments, une relation n-aire I(P): Dn {V, F}
A chaque symbole de fonction f à n arguments (n >0), une opération sur les éléments du
domaine de l'interprétation I(f): Dn D
A chaque symbole de constante a, un élément du domaine D, I(a)=d
3-2- Valuation
Etant donné L un langage du premier ordre et I une Interprétation de domaine D sur ce langage, on
appelle Valuation une fonction v: Var D qui associe à chaque variable un élément de D.
