Bonjour,
Je suis en train d'essayer de démontrer quelque chose sur les relations d'équivalence, et j'ai un problème à un certain moment. Pouvez-vous me dire si mon raisonnement est correct ? Pour que ce soit plus clair et pour faire abstraction du reste, j'ai réécrit mon problème sous une forme totalement générique :
Je veux démontrer par l'absurde une proposition. Or
. Donc je fais l'hypothèse
et j'essaie de trouver une contradiction avec d'autres hypothèses de départ qui sont données.
Si je supposevraie, alors
est vraie. Et justement, en supposant
vraie, j'aboutis facilement à une contradiction avec une des deux hypothèses données par l'énoncé du problème.
Ma question est : est-ce que ça suffit pour démontrer queest vraie ? Ce qui me perturbe, c'est qu'en faisant ça, je ne tiens pas compte de
et de
...
-----