Inscription / Connexion Nouveau Sujet
Raisonnement par contraposée
Bonjour,
Il s'agit de démontrer l'assertion suivante :
Mon raisonnement est le suivant :
pour tout naturel n strictement plus grand que 0.
En faisant tendre n vers l'infini :
tend vers 0 donc par passage à la limite dans une inégalité on a :
d'ou la conclusion : a=0
qui me semble être un raisonnement qui tient la route
**********************************************************************************************
Néanmoins dans la correction il y a l'idée d'un raisonnement par contraposée.
Autant je sais écrire la contraposée de A
B
Autant je sais écrire la contraposée de AB qui est Non(B)Non(A) autant je ne sais pas faire de raisonnement par contraposition ici à cause des quantificateurs précédents.
Ma question est donc la suivante : comment raisonnement par contraposée quand une implication AB est de la forme A(x,y)B(x,y) avec x et y définis avant avec des quantificateurs ?
Bonjour, par contraposition il faut montrer que .
Je pense que tu vas avoir du mal... tu es sûr que c'est pas plutôt ?
De façon précise l'énoncé précis est :
Soit a un réel.
Montrer que : 
>0, Abs(a)< a=0
mais je ne vois pas en quoi ma traduction est fausse
Avec ton énoncé, prenons en particulier ,
, on a bien
mais
.
A mon avis c'est bien qu'il faut montrer
avec ton écriture ça devient logique puisqu'en écrivant la contraposée j'obtiens ce qu'il faut.
Néanmoins je n'arrive pas à voir ou est mon erreur dans mon écriture de départ...
] 
0) 
|a|) ….
Annuler
connectez vous
analyse en post-bac