<<si je ne me trompe, c'est grosso mode ce qu'on appelle en math une démonstration par l'absurde...>>
Strictement aucun rapport, mais alors pas du tout. Même si ça n'a aucun lien avec la news, voici un petit rappel. On souhaite démontrer que A implique B, c'est-à-dire que dès que A est vrai, B est nécessairement vrai. Dans une démonstration directe, on suppose que A est vrai et on triture les faits afin d'obtenir B. Dans une démonstration par l'absurde, on suppose que B est faux et on montre que cela entraine que A est faux, car on sait que cette dernière propriété (non B implique non A) est équivalent à la première (A implique B).
[^] # Re: nan ?
Posté par boubou . En réponse à la dépêche L'aful brevete le passage aux 35H. Évalué à 1.
Strictement aucun rapport, mais alors pas du tout. Même si ça n'a aucun lien avec la news, voici un petit rappel. On souhaite démontrer que A implique B, c'est-à-dire que dès que A est vrai, B est nécessairement vrai. Dans une démonstration directe, on suppose que A est vrai et on triture les faits afin d'obtenir B. Dans une démonstration par l'absurde, on suppose que B est faux et on montre que cela entraine que A est faux, car on sait que cette dernière propriété (non B implique non A) est équivalent à la première (A implique B).
Et oui, aucun rapport...