Corrigés des exercices - De Boeck Supérieur
?. ?. ?. ?. ?. ?. ?. ?. ?. 64. Page 65. ?x?y ¬c(x,y) , ?x?y c(y,x). ?. ?y ¬c(a,y) , ?x?y c(y,x). ?. ?y ¬c(a,y) , ?y c(y,b). ?. ?y ¬c(a,y), ...
?. ?. ?. ?. ?. ?. ?. ?. ?. 64. Page 65. ?x?y ¬c(x,y) , ?x?y c(y,x). ?. ?y ¬c(a,y) , ?x?y c(y,x). ?. ?y ¬c(a,y) , ?y c(y,b). ?. ?y ¬c(a,y), ...