trouver la valeur de verite
(il existe a et b appartiennent a R^2) (a+b=2) implique (a=1 ou b =1 )​