Occurence et variable

[khadi8]

Salut;
SVP qui pourra me dire c'est quoi la différence entre une occurrence lié ou libre et variable libre et lié
par exemple dans cet exemple
V X E Y (P(X, Y) ^ V Z R(X, F(Y, Z)))

où sont les les variable et les occurrences??
merci
noté qye V=qq soit
E=il existe
^=et

[fatal_error]

salut,

tu as la def

par exemple, ya un forall x qui s'applique sur P, donc l'occurrence de x dans P(x,y) est liée, donc la variable x est liée.