Bonjour à tous,
Je me pose une question de logique classique du premier ordre (FOL) qui peut sembler naïve.
Je considère deux *patterns* de formules F1 et F2 (en FOL).
F1 = NOT ( EXISTS x (A(x) OR B(x)) )
F2 = ( NOT EXISTS x0 A(x0) ) AND ( NOT EXISTS x1 B(x1) )
avec A(v0) et B(v1) deux formules de FOL ayant resp. une variable libre v0 et v1.
J'essaie de trouver un modèle de l'une qui ne soit pas un modèle de l'autre mais je n'y arrive pas. Pourtant ces deux formules ne me semblent pas sémantiquement équivalentes.
Quelqu'un pourrait-il me donner un tel modèle ? Merci...
Nicola
-----