Bonjour

un petit raisonnement par l'absurde, non ? ....

A bon ?

Ben oui, suppose qu'aucun des deux ne soit plus grand que 1/2, qu'est-ce qu'il se passe pour x+y ?

A mais oui je suis bête comme on affirme que x+y>1 je dois donc dire que comme cela est affirmé on suppose que l'implication est fausse

ben va peut-être falloir le rédiger pour qu'on comprenne quelque chose à ce que tu penses vraiment ...

A ba oui excusez moi
Montrons que pour tous x,y compris sur R on a l'implication x+y>1 implique x ou y strictement supérieur à 1/2
Supposons que x et y inférieur strictement  a 1/2
Soit x+y<1 donc c'est faux
Mais je ne suis pas sûr que cette justification suffise à prouver que soit x ou y doivent être supérieur à 1/2

salut

ce n'est pas un raisonnement par l'absurde mais par contraposée ...

C'est donc pas bon ?

si ... mais la rédaction est imparfaite ... (que vient faire ce "donc c'est faux" ? qui est "c'est" ?)

la contraposée de la proposition P : A => B est la proposition Q : A* => A* (ou A* = non A)

et on sait que P et Q ont même valeur de vérité

ici :

A : x + y > 1
B : x >1/2 ou y > 1/2

A* : ...            ?
B* : ...            ?

Je crois avoir compris
P implique Q ça implique que P* implique Q*
Donc A*: =x+1 <= 1
Et B* : x et y <=1/2
J'espère que c'est cela

Merci beaucoup

heu pardon  :