Bonsoir,
en théorie de la démonstration, il existe un ensemble de "règles" à appliquer pour démontrer une formule. Il y en a une qui me pose problème, celle qui est dans le titre (15eme règle sur cette page http://mathematique.coursgratuits.ne...nstrations.php).
Mon problème est le suivant :
gamma démontre qu'il existe un x tel que A est vrai. gamma et A démontrent C et x est une variable muette dans gamma et C. Admettons que A est vrai pour exactement un x, donc C ne sera démontré que pour un x, donc pour un cas particulier et non un cas général. La façon dont je vois les choses est fausse (sinon cette règle me paraitrait "logique"). Pouvez vous me dire où je me trompe ? Merci !
-----