«EXERCICES ET PROBLEMES CORRIGES DE ...
Page 64. Le raisonnement s'écrit : Prémisses: ?x (d(x)?¬e(x)). ?x (c(x)?¬d(x)). Conclusion : ?x (c(x)?e(x)). On peut l'exprimer par la formule [?x (d(x) ...
Page 64. Le raisonnement s'écrit : Prémisses: ?x (d(x)?¬e(x)). ?x (c(x)?¬d(x)). Conclusion : ?x (c(x)?e(x)). On peut l'exprimer par la formule [?x (d(x) ...