Bonjour,
On a la relation définie sur par :
Je n'arrive pas à montrer que :
(*)
Je suis parti de :
Puis par distributivité du OU sur le ET :
Soit :
Puis là je ne vois pas...
Ok merci Matheux.
Pour démontrer une implication on peut se contenter du "si ... alors"
Si alors on peut dire en déduire que si alors ce qui veut dire que est vraie.
Non mais tu te compliques tellement la vie truc de ouf, arrête de tout formaliser au hasard...
Dis le avec des mots en français...
Simplement si (a, b) <= (a' < b') alors soit a < a' soit a = a' et b = b'. Et dans les 2 cas on a bien a <= a' ....
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :