corrige_livre.pdf - j.galtier...

Page 39. Exercices sur la logique des prédicats. Exercices 3. 39. Page 40. 60. a) E ... Page 73. 115. Il s'agit de démontrer la validité du raisonnement suivant.