Raisonnement logique par l'absurde ?

[invite774393c1]

Bonjour,

Est-ce qu'un raisonnement par l'absurde pour démontrer peut-il être de la forme:
?
Ne trouvez vous pas ce raisonnement bizarre ? Peut-on le changer (en sachant que la contraposée revient au même)?

Plus précisément, je veux montrer que l'intervalle est majoré.
Par l'absurde, supposons non majoré.
Alors ...(l'hypothèse me sert à écrire )
Et je parviens à montrer que , où K est une constante.
Donc est non majoré, absurde car contredit l'hypothèse.
Donc est non majoré.

Y'a-t-il moyen de refaçonner ce raisonnement ?

Merci.
-----

[invitea0db811c]

Tu as du faire une erreur quelque part en écrivant ton résultat, car cela n'entraine pas que I n'est pas majoré, c'est même le contraire !

Sinon pour le raisonnement en lui même, personnellement ça ne me choque pas. La contradiction étant que A et nonA soient vraies simultanément.