Logique et base du raisonnement mathématique

[Mendrake]

Bonjour.
Je suis actuellement en L1 Maths / Info. J'ai pour Lundi, un exercice basique sur la logique mathématique, mais j'ai peur de ne pas comprendre entièrement la notion de "contraposée"

Voici l'exercice :
"Soit a un réel. Montrer par contraposée, que si ;)e > 0, a ;) e, alors a;)0"

D'après mon cours, une contraposée d'une implication se traduit par "Non B => Non A"
De ce fait, j'en déduis que A correspond à " ;)e > 0, a ;) e " et que B correspond à "a;)0"

Sur mon brouillon, j'ai écrit ceci :
" a>0 alors ;)e > 0, a > e "

Mais comment le démontrer? Je n'y arrive pas... Merci !

[chan79]

salut
suppose que a>0
Prends = a/2

[Mendrake]

OMG, merci ! Je suis con :/ Merci beaucoup .