Forum de Mathématiques: Maths-Forum

Un contre-exemple suffit, en dessinant des patates sur une feuille je pense qu'il suffit de prendre A inclus ds B inclus ds C (avec C différent de A).

S'il y a un 2ème x, notons le x' tel que a+x'=b
alors : a+x=b=a+x' c'est à dire a+x=a+x' d'après le th1 alors x=x'.

En avait-t-elle ? Tant que personne n'a été vérifier........ il n'y a rien d'impossible.

Bonjour Ben, attention les exemples que tu donnes (la semaine des 4 jeudis et les poules auront des dents) sont des figures de styles que l'on appelle un adynaton il me semble, et ne sont d'ailleurs jamais formulées avec un "si alors" à cause justement du caractère invraisemblable de la ph...

Le fait que (A => B) soit vraie si A est faux déroute de nombreux néophytes. Je trouve que l'explication qui marche le mieux est la suivante. Je pense que le plus simple est de dire que "pr tt x ( A(x)=>B(x) )" est faux uniquement quand A(x) est vrai et que B(x) est faux, donc dans les au...