raphy25 a écrit:'Si a est divisible par un multiple de b, alors a est divisible par b'.
Nous avons démontré par contraposition que cette proposition est strictement équivalente à la première. Il est aussi plus facile de l'imaginer. Mais je n'arrive toujours pas à me formuler cela de manière logiquement irréfutable.
Par exemple, si je sais que 81 est divisible par 9, il ne me paraît pas évident qu'il le soit aussi par 3 (il l'est, pour donner 27)...?
ben ptète que si tu démontrais la contraposée cela aiderait, non?
parce que on ne t'a pas demandé d'écrire une équivalence.
On t'as suggéré d'utiliser une équivalence pour faire une démonstration.
Donc comment tu écrits a divisible par un multiple de b?
Comment tu écrits un multiple de b pour commencer.
Et si ce multiple de b divise a, alors comment on écrit a avec ce multiple de b...
L'important est de savoir quoi faire lorsqu'il n' y a rien à faire.