Corrigés des exercices - De Boeck Supérieur
Il faut montrer que la formule suivante est valide : [?x?y (p(x,y) ? ¬p(y,x))] ? ?x ¬p(x,x). Pour cela, on recherche un modèle pour la négation de cette ...
Il faut montrer que la formule suivante est valide : [?x?y (p(x,y) ? ¬p(y,x))] ? ?x ¬p(x,x). Pour cela, on recherche un modèle pour la négation de cette ...