Logique arithmétique - Factorisation

Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
raphy25
Messages: 6
Enregistré le: 07 Sep 2017, 19:56

Logique arithmétique - Factorisation

par raphy25 » 05 Avr 2018, 18:44

Bonjour,

Si un nombre n'est pas divisible (comprendre que le quotient n'est pas un entier relatif) par un nombre , alors n'est pas non plus divisible par aucun multiple de .

Si c'est vrai ou faux, mis à part l'intuition, ma question est : comment le démontrer ?

Merci à vous !



Avatar de l’utilisateur
Ben314
Le Ben
Messages: 21482
Enregistré le: 11 Nov 2009, 23:53

Re: Logique arithmétique - Factorisation

par Ben314 » 05 Avr 2018, 19:41

Salut,
Le plus simple et de très loin, c'est d'utiliser la contraposition :
Rappel : Une implication P => Q dit exactement la même chose que non(Q) => non(P) (qu'on appelle la contraposée de celle de départ)
Ici, c'est quoi la contraposée de "Si a n'est pas divisible par b alors a n'est divisible par aucun multiple de b" ?
Qui n'entend qu'un son n'entend qu'une sonnerie. Signé : Sonfucius

raphy25
Messages: 6
Enregistré le: 07 Sep 2017, 19:56

Re: Logique arithmétique - Factorisation

par raphy25 » 10 Avr 2018, 10:53

Ici, c'est quoi la contraposée de "Si a n'est pas divisible par b alors a n'est divisible par aucun multiple de b" ?


Edit (Faux) Je suppose : 'Si a est divisible par b, alors a est divisible par tous les multiples de b'.

Plutôt : 'Si a est divisible par tous les multiples de b, alors a est divisible par b'.

Ce qui est faux, je pense. Mais là encore, je ne vois pas comment le démontrer.
Modifié en dernier par raphy25 le 10 Avr 2018, 11:16, modifié 1 fois.

Pseuda
Habitué(e)
Messages: 3222
Enregistré le: 08 Avr 2015, 14:44

Re: Logique arithmétique - Factorisation

par Pseuda » 10 Avr 2018, 11:12

Bonjour,

Ce que tu as écrit n'est pas la contraposée. La contraposée, c'est : si non Q, alors non P.

Q = "a n'est divisible par aucun multiple de b"
non Q = "il existe..."

raphy25
Messages: 6
Enregistré le: 07 Sep 2017, 19:56

Re: Logique arithmétique - Factorisation

par raphy25 » 10 Avr 2018, 11:19

@Pseuda ta réponse et mon edit se sont croisés.

Pseuda
Habitué(e)
Messages: 3222
Enregistré le: 08 Avr 2015, 14:44

Re: Logique arithmétique - Factorisation

par Pseuda » 10 Avr 2018, 11:24

Ce n'est pas encore ça. La 2ème partie de la phrase est bonne, mais la 1ère partie : la négation d'un "quelque soit" est "il existe", et inversement.

"aucun multiple de b ..." est un "quelque soit". Sa négation est "il existe ...? ".

raphy25
Messages: 6
Enregistré le: 07 Sep 2017, 19:56

Re: Logique arithmétique - Factorisation

par raphy25 » 10 Avr 2018, 11:34

Donc : 'S'il existe un multiple de b par lequel a est divisible, alors est divisible par b.'

Pseuda
Habitué(e)
Messages: 3222
Enregistré le: 08 Avr 2015, 14:44

Re: Logique arithmétique - Factorisation

par Pseuda » 10 Avr 2018, 11:50

C'est ça. Dit autrement (version allégée) : "si a est divisible par un multiple de b, alors..." ou "si un multiple de b divise a, alors ...".

raphy25
Messages: 6
Enregistré le: 07 Sep 2017, 19:56

Re: Logique arithmétique - Factorisation

par raphy25 » 10 Avr 2018, 12:06

'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)...?

beagle
Habitué(e)
Messages: 8707
Enregistré le: 08 Sep 2009, 16:14

Re: Logique arithmétique - Factorisation

par beagle » 10 Avr 2018, 12:19

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.

pascal16
Membre Légendaire
Messages: 6663
Enregistré le: 01 Mar 2017, 14:58
Localisation: Angoulème : Ville de la BD et du FFA. gare TGV

Re: Logique arithmétique - Factorisation

par pascal16 » 10 Avr 2018, 12:47

Si a est divisible par un multiple de b
ce multiple de b s'écrit kb, avec k entier relatif
a divisible par kb, il existe donc k'entier relatif tel que a=k'(kb) = (kk')b
alors a est divisible par b

NB : il faut accepter tout nombre comme diviseur du nombre 0 pour une équivalence parfaite

Viko
Membre Relatif
Messages: 209
Enregistré le: 19 Juin 2017, 01:51

Re: Logique arithmétique - Factorisation

par Viko » 13 Avr 2018, 00:38

quantifier un peu cette histoire ne serait pas trop je pense ! tu cherches à montrer :



maintenant calcule la contraposée sachant que (attention notation trés trés abusive) non() =
Qui ne maîtrise pas ses Cassinis, termine à Telecom Nancy

nodgim
Habitué(e)
Messages: 2002
Enregistré le: 27 Jan 2008, 12:21

Re: Logique arithmétique - Factorisation

par nodgim » 14 Avr 2018, 16:52

On peut avoir également ce raisonnement là :
"a" n'est pas divisible par "b" équivaut à dire qu'il n'existe aucun multiple de "b" égal à "a". Comme le multiple d'un multiple est aussi un multiple, il n'y a donc pas de multiple de multiple de "b" égal à "a", donc " a " n'est pas divisible par un multiple de "b " .

 

Retourner vers ✯✎ Supérieur

Qui est en ligne

Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 46 invités

Tu pars déja ?



Fais toi aider gratuitement sur Maths-forum !

Créé un compte en 1 minute et pose ta question dans le forum ;-)
Inscription gratuite

Identification

Pas encore inscrit ?

Ou identifiez-vous :

Inscription gratuite