Livre du professeur
Page 32. 46. a) [(p ? q) ? ¬p] ? ¬q. ? ¬[(p ? q) ? ¬p] ? ¬q. ? [¬(p ? q) ... Page 77. e) Le raisonnement s'écrit : Prémisses : ¬?x?y (i(x,y)?¬i(y,x)).
Page 32. 46. a) [(p ? q) ? ¬p] ? ¬q. ? ¬[(p ? q) ? ¬p] ? ¬q. ? [¬(p ? q) ... Page 77. e) Le raisonnement s'écrit : Prémisses : ¬?x?y (i(x,y)?¬i(y,x)).