Bonsoir,
J'essaye de faire cet exercice mais j'ai du mal à comprendre certaines choses, je serai donc très reconnaissant de recevoir de l'aide:
" Soient F1,F2 et F3 les formules suivantes :
F1 : (P(x,y) → Q(f(z),y))
F2 : ƎxƎy ¬Q(x,y)
F3 : ∀xƎy (P(x,y) → Q(y,y))
Donnez un modèle de {F1,F2,F3} contenant un seul individu.
Donnez un modèle de {F1,F2,F3} contenant un nombre infini d'individus. "
Déjà, par un seul "individu", je voulais être sûr: ils veulent bien dire un modèle qui a un domaine d'un seul élément?
Et donc sinon donc pour déjà faire une interprétation des trois formules il faudrait déjà que j'établisse un domaine (y a pas de restrictions supplémentaires? juste {1} ça irait?), la valeur de la fonction unaire f , et la valeur de P et Q symboles de prédicats binaires.
En fait le problème, c'est que je n'ai strictement aucune idée de la méthode pour réussir à trouver un modèle, à part y aller au pif mais vu qu'il y a plusieurs formules qui doivent correspondre ici c'est assez problématique.
Merci d'avance de votre aide.