* Pour montrer (A => B), on peut utiliser l'un des trois raisonnements suivants:
- Raisonnement direct : on commence par dire "supposons A". On traduit ensuite B en disant "Montrons B, ce qui signifie ...".
En effet c'est en général en transformant formellement la conclusion B qu'on trouve le point de départ correct de la démonstration.
- Raisonnement par contraposée : pour démontrer (A => B), on peut montrer ((non B) => (non A)).
- Raisonnement par l'absurde : pour démontrer (A => B), on suppose A et non(B) et on cherche une contradiction.
* Cas d'une implication quantifiée : "qqs x € E, (A(x) => B(x))
On commence par dire "soit x € E tel que A(x)".
On dit ensuite "montrons B(x), ce qui signifie ...".
LHASSANE
PS : il y aurait encore beaucoup de choses à dire sur la RIGUEUR , la REDACTION CONCISE et enfin le SOIN !!!!!
Accueil 
