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

[logique] Relations



  1. #1
    Bleyblue

    [logique] Relations

    Bonjour,

    J'ai dans mes notes de math :

    Citation Envoyé par mes notes
    Une relation R sur E est :

    REFLEXIVE si pour tout x dans E : xRx
    SYMETRIQUE si pour tout x,y dans E : xRy => yRx
    ANTISYLETRIQUE si pour tout x,y dans E : (xRy et yRx) => x = y
    TRANSITIVE si pour tout x,y,z dans E : (xRy et yRz) => xRz
    COMPLETE si pour tout x,y dans E : xRy ou yRx
    Bon alors, si j'essaie avec la relation > (plus grand que) sur IR :

    Elle n'est pas reflexive car il n'existe aucun réel qui est plus grand que lui même
    Elle n'est pas symétrique non plus car si x > y alors y n'est pas > x.
    Elle n'est pas antisymérique car x > y et y > x ne peuvent être vrai en même temps.
    Elle est transitive car si x > y et si y > z alors x > z
    Elle est complète car pour deux réel distinc x et y on a x > y ou y > x

    Est-ce que c'est bon ce que je viens de dire la ?

    merci

    -----


  2. Publicité
  3. #2
    Penelope20k

    Re : [logique] Relations

    Ya tout la

    Relation d'ordre

  4. #3
    GuYem

    Re : [logique] Relations

    Citation Envoyé par Bleyblue
    Bonjour,

    J'ai dans mes notes de math :



    Bon alors, si j'essaie avec la relation > (plus grand que) sur IR :

    1) Elle n'est pas reflexive car il n'existe aucun réel qui est plus grand que lui même
    2) Elle n'est pas symétrique non plus car si x > y alors y n'est pas > x.
    3) Elle n'est pas antisymérique car x > y et y > x ne peuvent être vrai en même temps.
    4) Elle est transitive car si x > y et si y > z alors x > z
    5) Elle est complète car pour deux réel distinc x et y on a x > y ou y > x

    Est-ce que c'est bon ce que je viens de dire la ?

    merci
    1) C'est bon

    2) C'est bon

    3) ça se corse! Comme on te l'a fait remarquer dans un topic précédent, le faux implique n'importe quoi.
    Ici il faut regarder l'implication (y>x et x<y) ==> x=y.
    Or la première proposition est clairement fausse, donc l'implication est vraie
    Donc < est antisymétrique

    4) C'est bon

    5) Raté : dans la définition de complète il y marqué qu'on doit pouvoir comparer n'importe quels duo d'éléments. Or avec < on ne peut pas comparer 3 et 3 par exemple.
    Ce que tu as dit est juste mais tu as bien précisé "disctincts". Nous on veut pouvoir les comparer même si ils ne sont pas distincts.
    Bravo jolie Ln, tu as trouvé : l'armée de l'air c'est là où on peut te tenir par la main.

  5. #4
    Azrem

    Re : [logique] Relations

    tu as tout bon.

    edit: Guyem a raison.
    Dernière modification par Azrem ; 28/09/2005 à 16h37.

  6. #5
    Bleyblue

    Re : [logique] Relations

    Ah oui je comprend mes erreurs. Je n'ai pas été assez rigoureux en gros ...

    Bon, mettons que je réessaye avec le relation = dans IR

    1) Elle est réflexive
    2) Elle est symétrique
    3) Elle est antisymétrique car :

    soit x et y sont égaux et alors on a vrai => vrai
    soit x et y ne sont pas égaux et alors on a faux => faux

    dans les deux cas on tombe sur vrai.

    4) Elle est transitive car (si x = y et y = z alors x = z)
    5) Elle n'est pas complète car pour un couple de réel, si on n'a pas (x = y) alors on n'a forcément pas (y = x)

    C'est bon ça ?

    merci

    P.S. :J'espère que ça ne dérange pas que je pose des questions comme ça pour vérifier que j'ai bien assimiler ma matière ...

  7. A voir en vidéo sur Futura
  8. #6
    GuYem

    Re : [logique] Relations

    Cette fois t'as tout bon et tu ne déranges pas

    Essaye avec ; c'est la plus utilisée

    Essaye aussi avec l'ensemble des parties d'un ensemble E et la relation d'inclusion.

    Tu nous en diras des nouvelles
    Bravo jolie Ln, tu as trouvé : l'armée de l'air c'est là où on peut te tenir par la main.

  9. Publicité
  10. #7
    Bleyblue

    Re : [logique] Relations

    Ok super

    est :

    1) Réflexive car pour tout x réel on a x x
    2) Non symétrique
    3) Antysimétrique car

    soit x = y et alors on a (vrai) => (vrai)
    soit x est différent de y et alors on a (Faux) => Faux

    4) Transitive
    5) Complète car pour tout x,y on a soit x y soit y x et les deux sont vrai si x = y.

    Pour l'ensemble des parties d'un ensemble et je suis bcp moins sûr de moi mais j'essaye :

    1) Réflexive car un ensemble (une partie d'ensemble est toujours un ensemble) est toujours inclu a lui même (non ?)

    2) Non symétrique car si A est inclu dans B, B ne peut pas être inclu dans A (sauf dans le cas particluier ou A et B ne forment qu'un seul ensemble)

    3) Asymétrique car on a soit :

    (Faux) -> (Faux)
    (Vrai) -> (Vrai)

    4) Transitive car si x est inclu dans y et y dan z alors x est inclu dans z aussi

    5) Non complète car pour deux sous ensembles on n'a pas forcément A inclus dans B OU B inclus dans A.

    Voilà

    merci !

  11. #8
    GuYem

    Re : [logique] Relations

    T'as tout bon encore, bien joué
    Bravo jolie Ln, tu as trouvé : l'armée de l'air c'est là où on peut te tenir par la main.

  12. #9
    Bleyblue

    Re : [logique] Relations

    Ah bien, donc apparament j'ai bien assimilé

    merci beaucoup !

Sur le même thème :

Discussions similaires

  1. Logique Système - Logique Causale - Implications Cosmologiques
    Par Mumyo dans le forum Epistémologie et Logique
    Réponses: 6
    Dernier message: 06/11/2007, 11h57
  2. Implications et relations de logique à démontrer (niveau 1ère S)
    Par younes guessous dans le forum Mathématiques du collège et du lycée
    Réponses: 0
    Dernier message: 05/10/2007, 23h36
  3. relations de parenté
    Par ptitesoso dans le forum Biologie
    Réponses: 2
    Dernier message: 03/05/2005, 14h44
  4. Relations binaires
    Par Dindonneau dans le forum Mathématiques du supérieur
    Réponses: 2
    Dernier message: 28/03/2005, 20h19
  5. Relations-relations d'ordre
    Par Quinto dans le forum Mathématiques du supérieur
    Réponses: 8
    Dernier message: 07/09/2004, 09h56