par beagle » 30 Sep 2013, 15:48
"" si un nombre entier est divisible par 2, alors il est divisible par 3"
Cette proposition est soit vraie, soit fausse (on laisse tomber indéterminé aujourd'hui, idem on laisser implication).
Si elle est vraie, alors à chaque fois que je prends un entier divisible par deux, donc un nombre pair, ben il est aussi divisible par 3.Si c'était vrai, il faudrait que cela soit vrai pour tout entier pair.
Si la proposition est fausse, alors il existe un ou plusieurs ou tous les entiers,
qui étant pair, n'est pas, ne sont pas pour autant divisible par 3, multiple de 3.
Ces entiers qui ne vérifient pas la proposition sont appelés des contre-exemples.
Un seul de ces contre-exemples suffit à rendre l'affirmation fausse.
26 par exemple est divisible par deux, mais pas par 3, c'est un contre-exemple.
et les autres d'après toi, on peut en dire quoi?
L'important est de savoir quoi faire lorsqu'il n' y a rien à faire.