contraposé

proposition A "il fait beau" proposition B "je suis content" des qu'il fait beau je suis content, mais bon, je suis content aussi quand une nouvelle version du kernel sort (qu'il fasse beau ou pas) on a bien A implique B (A => B) "il fait beau" donc "je suis content" mais non-B n'implique pas forcement non-A "je ne suis pas content" parceque "il ne fait pas beau" c'est faut, ya une nouvelle version du kernel ! je crois jusque du tu confonds => et <=> bon faudrait que je ressorte mes cours, mais je me rappelle bien : avec => il n'y a pas de reciprocité. <<implication>> avec <=> c'est "SI-ET-SEULEMENT-SI" <<relation>> dans mon exemple A => B mais non-B !=> non-A (il fait pas beau et je suis content)