Logique du premier ordre - Université de La Réunion

Universit´
e de la R´
eunion Facult´
e des Sciences et Technologies
L3 informatique Exercices de logique du premier ordre
Exercice 1 Etablir informellement la validit´e de la d´eduction suivante.
Tout ˆetre humain est un primate. Les dauphins ne sont pas des primates. Il y a des dauphins qui sont
intelligents. Par cons´equent, on peut ˆetre intelligent sans ˆetre un ˆetre humain.
Exercice 2 Dans chacun des cas suivants, d´eterminer informellement si la formule Aest ou n’est pas
cons´equence logique de la conjonction des formules A1et A2.
1) A=x(r(x)p(x)); A1=x(p(x)(q(x)r(x))); A2=y(q(y)r(y)).
2) A=x(p(x)r(x)); A1=x(p(x)(q(x)r(x))); A2=x(q(x)r(x)).
Exercice 3 Dans chacun des cas suivants, pr´eciser l’ensemble Var(A) des variables de A, l’ensemble
Varliees(A) de ses variables li´ees et l’ensemble Varlibres(A) de ses variables libres.
1) A=p(f(x, y)) ∨ ∀z q(c, z)
2) A=x p(x, y, z)∨ ∀z(q(z)r(z))
3)A=xy(p(x, y)→ ∀z q(x, y, z))
Exercice 4 Soit le langage L1={zero}∪{succ/1, plus/2}∪∅ constitu´e de la constante zero et des
fonction succ et plus. On consid`ere l’interpr´etation Ide domaine D=Net telle que zeroI= 0,
succI(x) = x+ 1 et plusI(x, y) = x+y.
1) Soit vune valuation telle que v(x) = 0. Calculer vI(plus(succ(zero), x)).
2) On ajoute au langage L1de l’exercice pr´ec´edent le symbole de pr´edicat imp/1 et on ´etend Ipar
impI(x) ssi xest impair. eterminer la valeur de v´erit´e de
a) imp(zero)imp(succ(zero)) b) x imp(x)
Exercice 5 Soit le langage L={=/2}. On rappelle que x6=yest une abbr´eviation de ¬(x=y) et
on consid`ere les formules :
ϕ:x6=yy6=zz6=x
χ:x=yx=zx=ty=zy=tz=t
ψ:t(x6=yy6=zz6=x(t=xt=yt=z))
D´eterminer en justifiant, pour chacune de ces formules, si elle est satisfaisable (i.e. s’il existe une
valuation pour laquelle elle est vraie) ou valide (i.e. si elle est vrai pour toute valuation) dans les
cinq interpr´etations donn´ees par les domaines suivants, les pr´edicats = et 6= ayant l’interpr´etation
standard : D1={0};D2={0,1};D3={0,1,2};D4={0,1,2,3};D5=N.
Exercice 6 Supposons que p(x, y) soit une formule atomique du calcul des pr´edicats du premier ordre
et cond´erons une interpr´etation Idont le domaine est constitu´e uniquement des entiers naturels 2,3,5.
Alors dans cette interpr´etation et relativement `a une valuation assignant la valeur 2 `a x, la formule
y p(x, y) s’exprime par pI(2,2) pI(2,3) pI(2,5). Dans l’interpr´etation Ila formule xy p(x, y)
s’exprime par (pI(2,2)pI(2,3)pI(2,5))(pI(3,2)pI(3,3)pI(3,5))(pI(5,2)pI(5,3)pI(5,5)).
Utiliser des conjonctions et/ou disjonctions pour exprimer les formules suivantes.
a) x p(x, y) (Interpr´etation Iet valuation vtelle que v(y) = 5)
b) x p(x, y) (Interpr´etation Iet valuation vtelle que v(y) = 3)
c) y p(x, y) (Interpr´etation Iet valuation vtelle que v(x) = 2)
d) xy p(x, y) (Interpr´etation I)
e) xy p(x, y) (Interpr´etation I)
f) xy p(x, y) (Interpr´etation I)
Exercice 7 Ecrire la n´egation de chacune des assertions suivantes en une phrase en fran¸cais.
a) Tout ´etudiant de licence informatique pr´epare l’unit´e d’enseignement “Logique” ou l’unit´e d’enseignement
“Compilation”.
b) Au moins un ´etudiant de licence informatique pr´epare l’unit´e d’enseignement Syst`emes.
c) Un ´etudiant du master d’informatique du Professeur Lenhart a lu tous les travaux de ce dernier sur
les structures de donn´ees.
Exercice 8 Dans le langage L={p/2,=/2}, on consid`ere les formules suivantes :
A1=xy p(x, y)
A2=xy(z(p(x, z)p(z, y)) p(x, y))
A3=xy(p(x, y)p(y, x)x=y)
A4=xyz(¬p(z, x)∨ ¬p(z, y)x=y)
D´eterminer la validit´e de ces formules dans les interpr´etations Isuivantes, le pr´edicat = ayant son
interpr´etation standard :
D1=Net pI(x, y) ssi xy,
D2=N\ {0}et pI(x, y) ssi x6=yet xdivise y.
Exercice 9 Soit A1=x(r(x)p(x)q(x)), A2=r(a)r(b) et A3=p(a). Montrer que
A1, A22A3.
Exercice 10 Soit Γ = {A1, A2, A3}l’ensemble de formules suivantes :
A1=xyz((p(x, y)p(y, z)) p(x, z))
A2=x(p(a, x)p(x, b))
A3=x p(x, f(x))
1) Proposer un mod`ele Ipour Γ, i.e., un domaine non vide D, deux ´el´ements aIet bIde D, une
application fIde Ddans Det une relation binaire pIincluse dans D×Dtel que I|=A1,I|=A2et
I|=A3.
2) A-t-on A1, A2, A3|=x p(x, a) ? Justifier.
Exercice 11 Soit Γ = {A1, A2, A3}l’ensemble des formules suivantes :
A1=xyz((p(x, y)p(y, z)) p(x, z))
A2=x(p(a, x)p(x, b))
A3=x p(x, f(x))
1) Proposer un mod`ele Ipour Γ.
2) A-t-on A1, A2, A3|=x p(x, a) ? Justifier.
Exercice 12 Soit l’ensemble Γ = {∀x¬p(x, x),xyz((p(x, y)p(y, z)) p(x, z)) ,xy p(x, y)}.
1) Proposer un mod`ele pour Γ.
2) Montrer qu’aucun mod`ele de Γ ne peut avoir un domaine fini.
Exercice 13 Soit nun entier naturel plus grand que un.
1) Donner un ensemble Γ de formules du calcul des pr´edicats du permier ordre n’utilisant aucune
constante, aucun symbole fonctionnel et le seul symbole de pr´edicat binaire =, dont tout mod`ele dans
lequel = est interpr´et´e comme l’´egalit´e ait un domaine ayant exactement n´el´ements. Justifier.
2) Proposer un mod`ele pour l’ensemble Γ de la question pr´ec´edente. Justifier.
1 / 2 100%

Logique du premier ordre - Université de La Réunion

La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !