répondre à #29 alors je propose de changer le quantification existential par le quantification universal ?
répondre à #30 oui c'est plus facile
-----

répondre à #29 alors je propose de changer le quantification existential par le quantification universal ?
répondre à #30 oui c'est plus facile
J'ai dit "faire attention". Une preuve ne se fait pas au hasard, en essayant 10 écritures différentes. Si tu veux rester sur ton idée, il faut que tu saches à quoi tu veux arriver, puis appliquer des règles mathématiques pour le faire.
Comme il y a déjà plusieurs preuves dans cette (vieille) discussion, en rédiger une autre n'a d'intérêt que si elle est irréprochable.
je sais qu'il y a des preuve mais je veux juste savoir si mon est bon
![]()
Bonjour.
Ta preuve de P1 ==> P3 est bien lourde. Il n'est pas nécessaire de faire une preuve par l'absurde. E+F est l'intersection de tous les sev contenant et E et F, donc contenant E U F. Comme ils contiennent tous E U F, leur intersection est E U F.
La preuve de P3 ==> P2 est fautive, à l'avant dernière ligne. C'est une classique erreur de logique.
n'est pas équivalent à
Cordialement.
merci beaucoup pour votre réponse j'ai essayé de trouver un contre-exemple pour l'avant dernière ligne mais pas trouver. alors j'ai essayé de la démonter
![]()
La deuxième partie est fausse. Tu sembles mélangeret
. En tout cas le premier e n'a rien à voir avec le second.
Le fait d'utiliser la même lettre pour un objet spécifique et pour n'importe quel élément du même genre est une erreur basique.
Essaie de reprendre sous la forme
cas 2
Et tu verras qu'il n'y a plus ta suite.
Cependant, en raisonnant correctement, tu peux y arriver.
Cordialement.
Dernière modification par gg0 ; 26/04/2023 à 15h34.
Dans #24 pourquoi x+y appartient à F ?
pour #36
Si je fais ce que tu dis pour le cas 2 ça donne le bon résultat parce que x sera cas exceptionnel de (pour tout e et appartient à E)
Message #38 incompréhensible. À rédiger en termes mathématiques, merci.
#39
Ok c'est bon. J'ai compris. Merci beaucoup
#40
J'ai essayé de faire ce que t'a dit dans #36
J'ai remplacé dans (#35) la ligne verte de cas2 : e par X
C'est ça ce que j'ai compris d'après ton message #36 . Puis j'ai trouvé la suite vrai.
Je veux dire ça :
![]()
