Résumé : |
La notion de réciproque d'un énoncé A => B est claire. Cependant, en pratique, les théorèmes ne sont pas toujours donnés sous cette forme, et il existe parfois différentes façons non équivalentes de les reformuler. Il en découle qu'un même théorème, énoncé en langage naturel, est susceptibles d'admettre plusieurs réciproques non équivalentes. |