Corrigés des exercices du livre et en ligne - Vuibert
e) ?x (p(x)?q(x)) ? (?x p(x) ? ?x q(x)). Cherchons les modèles de la négation de cette formule. La formule de départ est bien valide. f) ?x (p(x)?q(x)) ...
e) ?x (p(x)?q(x)) ? (?x p(x) ? ?x q(x)). Cherchons les modèles de la négation de cette formule. La formule de départ est bien valide. f) ?x (p(x)?q(x)) ...