Enfin une alternative possible à la logique.

J'ai encore parler trop vite : le principe des tiroirs se prouvent par récurrence...

Pour tout x on a A(x) à l'exception de B(x).

Qui se traduit par :

-pour tout x B(x)->non(A(x))

-il existe x tel que A(x)

-il existe x tel que B(x)

Cela permet d'introduire l'implication de manière plus compréhensible du grand nombre.

OK..où est la logique de suivre une recette de cuisine à la lettre....Je réponds bien au post "enfin une alternative positive à la logique", je suis sùre de l'avoir fait tout à l'heure...............je vous signale que cette chose "anodine "ne l'ai pas!!