MT 306 Logique

03-04 17 fvrier 2004

Feuille dexercices n 1
Variables libres, variables lies Rappel. Si une variable x est lie ou muette dans une expression E, alors on obtient une expression de mme sens en remplaant toutes les occurrences de cette variable x par une lettre napparaissant pas dans lexpression E. Sauf quand on sautorise certaines liberts dans lcriture des liaisons (occurrence indicative manquante), on obtient un assemblage qui na pas de sens en remplaant toutes les occurrences dune variable lie x par une constante. Si une variable x est libre ou parlante dans une expression E, alors on obtient une expression qui a un sens (en gnral dirent) en remplacant toutes les occurrences de cette variable x par nimporte quel terme (dsignant une objet du domaine sur lequel x varie).1 Des variables lies direntes peuvent porter le mme nom dans une expression. une variable lie, nommons la x, est associe un champs ou une porte : la sous-expression o toute occurrence libre de la lette x dans la sous-expression fait rfrence cette variable. Mme si cela a un sens, on vite de superposer les porte de variables de mme nom (on considre quune variable libre a pour porte toute lexpression). Quand les portes des variables de mme nom sont disjointes on dit que lexpression est polie. x Exemples. Dans lexpression ex,a =d x + 0 (t2 + t + a)dt, x a 2 occurrences libres, a a une occurrence libre, x t a 2 occurrences lies (plus loccurrence indicative). On a ex,a = x + 0 (u2 + u + a)du. On peut crire e2,1 = 2 2 2 + 0 (t + t + 1)dt. Dans lexpression x(P x et Qx) (xP x et xQx), il y a trois groupes doccurrences de la lettre x, toutes sont lies. Les portes sont disjointes. Lexpression est close au premier ordre (il dpend de P et Q qui dsignent des prdicats unaires). 1 Dans lexpression ex = x+ 0 (x2 +x)dx, il y deux groupes doccurrences de la lettre x, lun correspondant une 1 1 variable libre, lautre une variable lie. On a ex = x + 0 (t2 + t)dt. On peut crire e1 = 1 + 0 (x2 + x)dx. On vite cependant la premire criture de ex qui nest pas polie (les portes des deux variables de nom x se superposent). Exercice 1. Pour chacune des expressions, dterminer si elle dsigne un objet ou un nonc, indiquez (graphiquement) les dirent groupes de lettres de variables, indiquez sils sont libres ou lis, donnez un nom lexpression faisant apparatre toutes les variables libres. Sil y a lieu, transformez ces expressions en expressions polies. 1. On se situe dans R. 1 x t 2 t 1 1 x (x + y)dx, x 0 2dy, 0 x2 dx + t y 2 dy, t 0 ydt, 0 x( 0 xydy)dx, x2 + x + 0 2xdx, {y R/y 2 x2 > 0}, 0 x 2 2 {x R/ 0 atdt ax}, : (x, y) x, : (x, y) ax + by + c, {a R/la fonction : x ax2 + bx + c est croissante au sens large sur R+ }. 2. On se situe dans N.
n n n n

i + j,
i=j j=i

i + j,
i=0 j=i

(i + j).

3. On se situe dans N. Substituez P dans le schma de formules (rcurrence) : [P (0) y(P (y) P (y + 1))] xP (x) par la proprit dnie par P (x) d y (x = 2.y x = 2.y + 1), puis par P (z) d (x + y) + z = x + (y + z). Rpondez la question pose en tte de lexercice pour les expressions obtenues. Exercice 2. Reprendre les questions de lexercice prcdent pour les expressions qui suivent, puis traduisez les laide des quanticateurs , . 1. Lquation x2 + x 1 = 0 a deux racines relles. 2. Lentier x est de la forme 2u + 3v. 3. Les entiers de la forme 2u + 3v sont pairs si v est pair.

Exercice 3. Dans la suite f dsigne une application de N dans N. Traduire les expressions suivantes en utilisant la relation dordre < et le langage de la logique du premier ordre galitaire sur f et < (connecteurs usuels, galit, variables sur N et quanticateurs , ) : 1. 2. 3. 4. f f f f prend prend prend prend au plus deux valeurs ; au moins deux valeurs distinctes ; une innit de valeurs ; un nombre ni de valeurs ; 5. certaines valeurs atteintes par f le sont une innit de fois ; 6. toute valeur atteinte par f ne lest quun nombre ni de fois.

Lesquels des noncs que vous avez trouvs gardent le sens souhait si maintenant f dsigne une fonction de R dans R (les variables des noncs parcourent R et non plus N), de Z dans Z ?
1 On na pas vraiment donn de dnition : dans ce qui qui prcde on na pas prcis ce que lon entendait par occurrences dune mme variable x. Il ne peut sagir de toutes les occurrence de la lettre x, deux variables direntes peuvent avoir le mme nom. Pour prciser il faudrait justement savoir ce que signient libre est li ! Pour dnir proprement la notion de variable libre et lie on doit dnir le langage utilis et dnir cette notion par induction sur la construction des expressions du langage.