salut

non (a < 0 ou b < a) n'est pas a > 0 ou b > a

...

non(x < y) n'est pas (x > y)

ah d'accord donc :   non(a<0 ou b<a) => non(b²<a²)
                                          c'est a dire : (a < 0 ou a > b) => (a²>b² ) ?

je pense que etniopal veut intervenir sur les symboles < et >= ...

pour ma part c'est le ou qui me gène ... (j'ai négligé le point (certes important de etniopal) mais moins que le pb du ou ... il me semble ...

Ah d'accord donc 'est plutot sa :  c'est a dire : (a < 0 et a > b) => (a²>b² ) ?

après correction on a donc :  (a>0 et a<b) => (a² < b² )
                                                            supposons a>0 et a<b pour tout a,b appartient R
                                                              on a alors 1<2
                                                            Et donc 1² < 2² qui est vraie car 1< 4
Donc (P) est vraie par contraposée.
Quelqu'un pour vérifier svp ?

Non .
Si non (a<0 ou b<a) est vraie  alors on a :  a 0 ET b a   donc b² - a² = (b - a)(b + a)   0 car (b - a) 0 et (b + a)   2a 0 ..

Bonsoir,
il manque les quantificateurs, souvent ils sont implicites, mais quand on veut faire une démonstration de ce type il est prudent de les expliciter.
La négation de



est



En gros ton idée est bonne, il reste à la rédiger correctement.

Ps : signifie ou et signifie et

Non (A et B) c'est Non A ou Non B

Non (A ou B) c'est Non A et Non B