Forum de Mathématiques: Maths-Forum

Euh... Certes... mais ma question vient du fait que dans les deux livres ça s'appelle "raisonnement par hypothèse auxiliaire". Donc je voulais savoir ce qu'on appelle vraiment "raisonnement par hypothèse auxiliaire".

Bonjour, Dans un livre (Algèbre et Analyse [Balac, Sturm]), les auteurs évoquent le "raisonnement par hypothèse auxiliaire" comme étant un raisonnement s'appuyant sur le modus ponens : (P et (P \Rightarrow Q)) \Rightarrow Q ; autrement dit, pour démontrer Q, je démontre que P est vraie d'u...