Répondre à la discussion
Affichage des résultats 1 à 30 sur 30

Question sur la logique (universalité et implication)



  1. #1
    Marmus1021

    Question sur la logique (universalité et implication)


    ------

    Bonjour ! Je me demandais si on pouvait transformer une universalité en implication ?
    Imaginons l'énoncé suivant :
    Soit un ensemble E, et une proposition P(x).
    Montrer que ∀x∈E, P(x) est vraie.

    Pour montrer quelque chose de ce type, on pose un x quelconque appartenant à E, et on montre P(x).
    Est-ce que cela est équivalent, d'un point de vue logique, à démontrer que x∈E => P(x) ?
    Pour donner un exemple concret, imaginons qu'on doit démontrer ceci : ∀x∈ ]-2,2[, x2 > 4. Cela revient-il à montrer que x∈ ]-2,2[ => x2 > 4 ?

    Voilà merci d'avoir lu, ma question est peut-être stupide, mais comme je suis sur un chapitre de logique en ce moment, je me rends compte qu'il y a pleins de choses qui me paraissaient logiques qui ne sont pas finalement si évidentes que ça

    -----

  2. Publicité
  3. #2
    Médiat

    Re : Question sur la logique (universalité et implication)

    Bonjour,
    Citation Envoyé par Marmus1021 Voir le message
    Montrer que ∀x∈E, P(x) est vraie.
    Votre question est très intéressante, j'avais ouvert un fil sur ce sujet (la négation d'une telle formule), mais je ne le retrouve pas, alors je réexplique :

    est une formule mal formée (et bien trop utilisée), il aurait fallu écrire
    Je suis Charlie.
    J'affirme péremptoirement que toute affirmation péremptoire est fausse

  4. #3
    Médiat

    Re : Question sur la logique (universalité et implication)

    Je suis Charlie.
    J'affirme péremptoirement que toute affirmation péremptoire est fausse

  5. #4
    duduch74

    Re : Question sur la logique (universalité et implication)

    en quoi est une formule mal formée ? c'est pourtant comme cela qu'elle est enseignée en première année d'étude supérieur.
    Dernière modification par duduch74 ; 08/03/2021 à 06h47.

  6. A voir en vidéo sur Futura
  7. #5
    Médiat

    Re : Question sur la logique (universalité et implication)

    Citation Envoyé par duduch74 Voir le message
    en quoi est une formule mal formée ? c'est pourtant comme cela qu'elle est enseignée en première année d'étude supérieur.
    Si vous suivez les règles logiques de construction des formules, vous ne pouvez pas aboutir à cette formule ; les mathématiciens prennent des libertés avec la logique, comme les physiciens en prennent, parfois, avec les mathématiques.

    Pour se convaincre, il suffit de voir que les règles de construction de la négation ne s'appliquent pas à cette forme.
    Je suis Charlie.
    J'affirme péremptoirement que toute affirmation péremptoire est fausse

  8. #6
    Tryss2

    Re : Question sur la logique (universalité et implication)

    Après, est-ce que l'on ne pourrait pas considérer ça comme une abréviation/sucre syntaxique?

    Y a t'il un cas où on ne peut pas remplacer " " par "" ?

  9. Publicité
  10. #7
    Médiat

    Re : Question sur la logique (universalité et implication)

    Citation Envoyé par Tryss2 Voir le message
    Après, est-ce que l'on ne pourrait pas considérer ça comme une abréviation/sucre syntaxique?
    Si, bien sûr, cela reste néanmoins une formule mal formée, et donc toutes les techniques logiques qui s'appliquent aux formules bien formées ne fonctionnent plus (prise de négation, forme prénexe, etc.)

    Y a t'il un cas où on ne peut pas remplacer " " par "" ?
    Pas que je sache
    Je suis Charlie.
    J'affirme péremptoirement que toute affirmation péremptoire est fausse

  11. #8
    duduch74

    Re : Question sur la logique (universalité et implication)

    cette formule n'est absolument pas mal formée. Sa négation s'écrit tout simplement .

    C'est la base de la logique des prédicats que je vous conseille de réviser.

  12. #9
    Médiat

    Re : Question sur la logique (universalité et implication)

    1) cette formule est mal formée (vous savez ce que cela veut dire ? ), c'est trivial à vérifier, il suffit de lire les règles de formation.
    2) je n'ai pas dit qu'on ne pouvait pas prendre la négation de cette formule, mais que les règles habituelles ne peuvent s'appliquer, ce qui est normal pour une formule mal formée

    C'est la base de la logique, mais peut-être est-ce en lecture que vous avez des difficultés
    Dernière modification par Médiat ; 10/03/2021 à 18h06.
    Je suis Charlie.
    J'affirme péremptoirement que toute affirmation péremptoire est fausse

  13. #10
    duduch74

    Re : Question sur la logique (universalité et implication)

    ah si c'est trivial alors... Mais alors allez y expliquez rigoureusement.
    Dire que c'est mal formé est une chose. L'expliquer (au lieu de dire que c'est trivial) c'est autre chose.

  14. #11
    Médiat

    Re : Question sur la logique (universalité et implication)

    Mais je croyais que le sujet n'avait pas de secrets pour vous, en tout cas votre ton condescendant ne peut s'expliquer qu'ainsi.
    Je suis Charlie.
    J'affirme péremptoirement que toute affirmation péremptoire est fausse

  15. #12
    duduch74

    Re : Question sur la logique (universalité et implication)

    Evitez les inversions accusatoires. Vous dites que c'est mal formé, et répétez cette formule comme un perroquet.Cela signifie juste que vous essayez d'épater le public lycéen que cela dépasse. Alors expliquez. Sinon vous n'êtes qu'un perroquet.

  16. Publicité
  17. #13
    Médiat

    Re : Question sur la logique (universalité et implication)

    Vous avez raison, je répète sans relâche ce que les grands maîtres de la logique enseignent

    Quant à "épater le public lycéen que cela dépasse", je trouve cela insultant pour les lycéens, mais nous parle de vous : épater des gens que l'on ne connaît pas sous un pseudo, personnellement, je n'en vois pas l'intérêt.

    Pour les lycéens qui ne sont pas dépassés, mais intéressés, la règle de construction d'une formule bien formée (c'est une définition, pas un choix de mots personnel) avec quantificateur universel est :

    Si est bien formée, et si est un symbole de variable, alors est bien formée (on peut ajouter des parenthèses.

    Dans le cas de , il faudrait que soit bien formée, or est une relation binaire, c'est donc trivialement faux !
    Dernière modification par Médiat ; 10/03/2021 à 19h45.
    Je suis Charlie.
    J'affirme péremptoirement que toute affirmation péremptoire est fausse

  18. #14
    duduch74

    Re : Question sur la logique (universalité et implication)

    c'est fou la façon dont il faut insister pour vous arracher un semblant de début d'explication... Le vocabulaire que vous employez n'est pas connu des lycéens, sauf exception, désolé pour vous si vous ne connaissez pas les programmes scolaires. Moi je les connais.
    Dernière modification par duduch74 ; 11/03/2021 à 17h32.

  19. #15
    duduch74

    Re : Question sur la logique (universalité et implication)

    je plains vos élèves si vous êtes enseignant. Vous utilisez du vocabulaire sans rien expliquer, et il faut lourdement insister pour que vous daignez octroyer une explication...

  20. #16
    Médiat

    Re : Question sur la logique (universalité et implication)

    Alors en fait vous ne connaissez pas la logique, dont vous vous sentez malgré tout autorisé à contester, ce que tout le monde sait, t compris le lycéen qui a posé une excellente question, à laquelle vous n'auriez pas su répondre, je plains vos élèves si vous êtes enseignant,
    Je suis Charlie.
    J'affirme péremptoirement que toute affirmation péremptoire est fausse

  21. #17
    Liet Kynes

    Re : Question sur la logique (universalité et implication)

    Triste échange, il faut dire que ce que vous tentez de faire passer Mediat demande une certaine disposition de l'esprit que peu de personnes possèdent et quand bien même ils la possède il faut du temps et de la concentration pour l'utiliser.
    C'est en tout cas ce que j'ai compris dans nos échanges et j'avoue que n'ayant que très peu la disposition adéquate ni la capacité à la faire croître j'ai au moins l'impression d'apprendre toujours quelque chose à vous lire c'est déjà beaucoup que de gagner un pouillème de rigueur et de discipline dans sa manière de raisonner.
    Et pour vous une patience qui n'a pas de limite.. bravo.
    Sans questions il n'y a que des problèmes sans réponses.

  22. #18
    syborgg

    Re : Question sur la logique (universalité et implication)

    Citation Envoyé par duduch74 Voir le message
    c'est fou la façon dont il faut insister pour vous arracher un semblant de début d'explication... Le vocabulaire que vous employez n'est pas connu des lycéens, sauf exception, désolé pour vous si vous ne connaissez pas les programmes scolaires. Moi je les connais.
    Pourquoi tant de haine ?... vous avez un précédent tous les deux ?..

  23. Publicité
  24. #19
    Médiat

    Re : Question sur la logique (universalité et implication)

    Citation Envoyé par Liet Kynes Voir le message
    il faut dire que ce que vous tentez de faire passer Mediat demande une certaine disposition de l'esprit que peu de personnes possèdent
    Peut-être, mais le lycéen qui a posé la question initiale, a été capable d'inventer la réponse, je n'ai fait que lui donner le cadre "officiel" de cette réponse.
    Je suis Charlie.
    J'affirme péremptoirement que toute affirmation péremptoire est fausse

  25. #20
    Médiat

    Re : Question sur la logique (universalité et implication)

    Citation Envoyé par syborgg Voir le message
    Pourquoi tant de haine ?... vous avez un précédent tous les deux ?..
    Le message #8, grossier, surtout de la part de quelqu'un qui ne connaît pas le sujet.
    Je suis Charlie.
    J'affirme péremptoirement que toute affirmation péremptoire est fausse

  26. #21
    syborgg

    Re : Question sur la logique (universalité et implication)

    Citation Envoyé par Médiat Voir le message
    Le message #8, grossier, surtout de la part de quelqu'un qui ne connaît pas le sujet.
    Oui certes, j'en conviens...

  27. #22
    Liet Kynes

    Re : Question sur la logique (universalité et implication)

    Citation Envoyé par Médiat Voir le message
    Peut-être, mais le lycéen qui a posé la question initiale, a été capable d'inventer la réponse, je n'ai fait que lui donner le cadre "officiel" de cette réponse.
    Oui c'est bien ce que j'ai vu et ce cadre est plus que précis il est exact, cela me rappelle la fois ou je ne comprenais plus rien sur un sujet simple après avoir visionné des vidéos (de cours de prépa) avec des infos fausses.. une catastrophe et c'est en échangeant ici que j'avais pu retrouver le droit chemin
    Sans questions il n'y a que des problèmes sans réponses.

  28. #23
    albanxiii
    Modérateur

    Re : Question sur la logique (universalité et implication)

    Citation Envoyé par duduch74 Voir le message
    Evitez les inversions accusatoires. Vous dites que c'est mal formé, et répétez cette formule comme un perroquet.Cela signifie juste que vous essayez d'épater le public lycéen que cela dépasse. Alors expliquez. Sinon vous n'êtes qu'un perroquet.
    Vous pouvez vous faire une idée, Médiat a écrit plus de 19000 messages sur le forum, lisez-les, ou au moins lisez quelques fils qu'il a lancé.


    La règle que tout le monde devrait s'appliquer c'est de ne répondre à un fil que si cela apporte quelque chose de plus. Vous l'auriez appliquée, vous nous auriez épargné le message #8 et tout le triste spectacle que vous nous avez donné ensuite. A partir de maintenant, les messages à caractère non mathématique seront modérés.
    Not only is it not right, it's not even wrong!

  29. #24
    PlaneteF

    Re : Question sur la logique (universalité et implication)

    Bonsoir,

    Dans l'expression , le partage du entre le et le , me fait penser, de manière uniquement imagée, au partage d'une paire d'électrons entre deux atomes dans une liaison covalente

    Maintenant, si au lieu de la notation infixée classique , on choisit la notation préfixée , l'expression devient , ... et là il y a un souci d'écriture avec le quantificateur universel qui n'a plus son symbole de variable qui devrait suivre juste après lui ... Cela revient au problème d'écriture évoqué par Médiat, juste présenté différemment


    Cordialement
    Dernière modification par PlaneteF ; 12/03/2021 à 21h00.

  30. Publicité
  31. #25
    Superbenji

    Re : Question sur la logique (universalité et implication)

    Bonjour,
    D'une autre manière de voir les choses, c'est que le domaine de , c'est à dire les objets sur lesquels s'effectue la quantification, appliquée à la variable , est l'univers du discours tout entier (au premier ordre). Et c'est toujours le cas, par définition.
    Maintenant, quand on regarde on pourrais avoir envie, intuitivement, de lire que la quantification ne s'effectue que sur un sous-domaine de l'univers, ici . Mais... Comment connaitre ? De plus, on utilise . Donc techniquement, il faut bien parcourir tout l'univers pour trouver les objets qui satisfont .
    Ce qui au final nous ramène à l'écriture plus propre .

  32. #26
    Alphasaft

    Re : Question sur la logique (universalité et implication)

    Citation Envoyé par Médiat
    Si est bien formée, et si est un symbole de variable, alors est bien formée (on peut ajouter des parenthèses).

    Dans le cas de , il faudrait que soit bien formée, or est une relation binaire, c'est donc trivialement faux !
    Je suis d'accord sur le fait que est un raccourci syntaxique, mais sauf erreur de ma part (ce qui est loin d'être impossible) votre démonstration est fausse, ou en tout cas mal formulée : vous dites que , or vous semblez en déduire que , ce qui pour moi est une erreur de logique, sinon on en déduirait de (il pleut) (le sol est mouillé) que
    (le sol est mouillé) (il pleut), alors que je peux très bien être en train de laver ma voiture.
    Dernière modification par Alphasaft ; 04/04/2021 à 14h37.

  33. #27
    Médiat

    Re : Question sur la logique (universalité et implication)

    Vous avez fait des erreurs en recopiant ce que j'ai écrit, néanmoins je pense comprendre le fond de votre remarque, sauf qu'ici on est dans le cas où il n'y a qu'une seule façon de mouiller le sol : il n'y qu'une seule façon d'introduire dans une formule bien formée, c'est d'écrire est bien formée.

    Une autre façon de le dire, c'est que ne peut pas être bien formée si ne l'est pas
    Je suis Charlie.
    J'affirme péremptoirement que toute affirmation péremptoire est fausse

  34. #28
    Alphasaft

    Re : Question sur la logique (universalité et implication)

    Je ne vois pas où est l'erreur de recopiage si ce n'est le manque de parenthèses au niveau de ? Si c'est bien ça, est-ce important ?
    En tout cas, merci pour l'explication, je mourrai moins bête !

  35. #29
    Médiat

    Re : Question sur la logique (universalité et implication)

    Citation Envoyé par Alphasaft Voir le message
    Je ne vois pas où est l'erreur de recopiage si ce n'est le manque de parenthèses au niveau de ? Si c'est bien ça, est-ce important ?
    En tout cas, merci pour l'explication, je mourrai moins bête !
    Je n'ai jamais écrit
    Je suis Charlie.
    J'affirme péremptoirement que toute affirmation péremptoire est fausse

  36. #30
    Alphasaft

    Re : Question sur la logique (universalité et implication)

    Effectivement, une bête erreur de recopiage ! Je pensais bien évidemment à

Discussions similaires

  1. Logique, implication p => q
    Par CompositeStructure dans le forum Mathématiques du supérieur
    Réponses: 4
    Dernier message: 03/08/2020, 19h43
  2. Implication logique
    Par mehdi_128 dans le forum Mathématiques du supérieur
    Réponses: 35
    Dernier message: 26/07/2018, 00h36
  3. Implication logique
    Par RezCray1 dans le forum Mathématiques du collège et du lycée
    Réponses: 5
    Dernier message: 27/05/2016, 11h05
  4. [Logique] Implication
    Par the0best dans le forum Mathématiques du collège et du lycée
    Réponses: 15
    Dernier message: 03/04/2010, 14h15
  5. implication et logique
    Par kaderben dans le forum Mathématiques du supérieur
    Réponses: 10
    Dernier message: 24/12/2009, 18h56