Bonjour,
Un deuxième post car un autre exercice ^^'
Alors j'ai un exo de logique mais je ne vois pas comment prouver certains trucs ...
1. Nous cherchons la valeur logique de la proposition 1 :

² , [(
*+ ,
)]
a
b
(a) Soient a et b deux réels fixés dans
. Ecrire la contraposée de :
(
*+ ,
)
a
b
(b) En déduire la valeur logique de la proposition 1.
2. On considère maintenant la proposition 2 :

² , [(
*+ ,
)]
a < b
(a) Ecrire la négation de cette proposition.
(b) En déduire la valeur logique de la proposition 2.
Ce que j'ai fait :
1. (a)
La contraposée de : 
² , [(
*+ ,
)]
a
b est :


+* , a
b +
(b)
C'est vrai mais je ne sais pas comment le montrer ...
en posant
= quelque chose ?
2. (a)
Ici j'ai une question : quand on écrit la négation devons nous mettre
ou laisser le
? ...
Pour moi la négation de 
² , [(
*+ ,
)]
a < b serait :
(a,b)
² , (
*+ ,
)
a
b
(b) Vu que la négation de la proposition est fausse, la proposition est vrai ^^
Merci d'avance