bonjour,

Exemple : On considère la proposition "ABCD est un losange".

   1. "ABCD est un parallélogramme" est une condition nécessaire pour que ABCD soit un losange : si ABCD est un losange, nécessairement ABCD est un parallélogramme. Le contraire (la réciproque) est faux : il existe des parallélogrammes qui ne sont pas des losanges. La condition n'est pas suffisante.
   2. "ABCD est un carré" est une condition suffisante pour que ABCD soit un losange. Dès que l'on sait que ABCD est un carré, on sait que ABCD est un losange, le contraire étant bien évidemment faux.

Merci beaucoup!
C'est devenu plus clair pour moi.

"Habiter Lyon" est une condition suffisante pour "Habiter en France"

mais pas nécéssaire (car si on habite SETE on habite aussi en France)


"Se diviser par 2" est une condition nécéssaire à "Se diviser par 4"

(car si on ne se divise pas par deux on ne peut pas se diviser par 4)

=================

Si "IL FAIT BEAU" alors "JE VAIS A LA PISCINE"

ici "IL FAIT BEAU" est suffisant pour "JE VAIS A LA PISCINE"
(et pas forcément nécéssaire)


=====================

Si "JE VAIS A LA PISCINE alors "IL FAIT BEAU"

ici "IL FAIT BEAU" est nécéssaire pour "ALLER A LA PISCINE"

=======

une condition suffisante est une condition qui peut etre remplacer par une autre :
ex: pour qu'un triangle soit isocele il suffit qu'il ait 2 cotes egaux et si tu ne trouve pas ces 2 cotes tu peux trouver 2angles egaux a la place ou encore la mediane hauteur etc...(suffisnte)
une condition necessaire est une condition dont on ne pas s'en passer ex:pour demontrer qu'un quadrilataire est un rectangle il faut que tu demontre d'abord qu'il est parallelogramme sinon il ne sera pas rectangle...(necessaire)