)
Annuler
connectez vous
logique en post-bac
- Description de mathématique formelle-termes et relations
- Théorèmes
- Théories logiques
- Équations différentielles : un Cours complet avec des exemples
- Généralités sur les matrices, applications linéaires, changement de base, rang d'une matrice - supérieur
- Ensemble et application Partie II
- Un best-of d'exos de probabilités (après le bac)
- Espaces vectoriels et Applications linéaires - supérieur
Inscription / Connexion Nouveau Sujet
Accueil l'île des mathématiques Forum de mathématiquesListe de tous les forums de mathématiques SupérieurOn parle exclusivement de maths, pour le supérieur principalement, les BTS, IUT, prépas... Licence Maths 1e ann LogiqueTopics traitant de logique [tout]Lister tous les topics de mathématiques
Niveau Licence Maths 1e ann
Petite preuve sur les nombres réels
Posté par dydy13
Bonjour à tous 
Je ne comprends pas très bien cette preuve dans mon cours :
Proposition :
Pour tout x appartenant à R, x 
x.
Preuve :
Soit x appartenant à R,
x-x = 0 => x-x 
{0} => x-x P 
{0} => x x c'est justement cette dernière implication que je ne comprends pas, j'ai essayé de la comprendre comme ce qui suit, pouvez vous me dire si j'ai bon comment je résonne ?
x-x = 0 => x-x {0} => x-x P {0} => x-x 
0 => x x => x x.
Merci pour votre explication
Dydy 
Salut
P est l'ensemble des réels positifs de R.
Je ne comprends pas ce qui est écrit entre parenthèses..
Dydy
Ce que je voulais dire pour ce qui est entre parenthèses, c'est " la relation d'ordre considérée sur R, c'est bien la relation usuelle et non je ne sais quelle relation tordue sortie de nulle part, hein?" Il semblerait que oui d'ailleurs.
Mais en fait, je comprends même pas pourquoi ton prof se prend la tête avec ça... c'est "inférieur ou égal". Ben jusqu'à preuve du contraire x=x, donc a fortiori x est bien inférieur ou égal à x... Id est
...
Non?