Question sur la logique

[sylsau]

Bonjour,

Je sais que ce forum est un forum mathématique mais à tout hasard je me permets de poser ma question qui concerne la logique étant donné le peu de forums consacrés à ce domaine sur internet.
Si vous trouvez que ce sujet n'a pas sa place ici, n'hésitez pas à l'enlever.

Donc voilà, l'exercice sur lequel je bute :

Soit la formule F = Exist x P(x) and ForAll ( P(x) or Q(z) ) and Neg P(a) and Neg P(b)
avec a et b qui sont des constantes.

Trouver un modèle de F dont le domaine soit le plus petit possible.


Mon problème est que je n'arrive pas à voir comment démarrer cet exercice. Si quelqu'un avait une idée de la manière dont je peux démarrer ou comment procéder, ça m'intéresserait :)

Merci d'avance de votre aide.

Sylvain.

[fahr451]

je ne comprends pas