CORRIGÉ DU MANUEL
Page 39. Exercices sur la logique des prédicats. Exercices 3. 39. Page 40. 60. a) E ... Page 77. e) Le raisonnement s'écrit : Prémisses : ¬?x?y (i(x,y)?¬i(y,x)).
Page 39. Exercices sur la logique des prédicats. Exercices 3. 39. Page 40. 60. a) E ... Page 77. e) Le raisonnement s'écrit : Prémisses : ¬?x?y (i(x,y)?¬i(y,x)).