Relationsbeweis (Informatik) |
14.06.2018, 15:10 | ilovemathe2 | Auf diesen Beitrag antworten » | ||
Relationsbeweis (Informatik) Aufgabe: Gegeben sei eine beliebige irreflexive, transitive Relation. Zeigen oder widerlegen Sie folgende Aussage: R ist Anti-Symmetrisch. Die Musterlösung schaut aus wie im Bild. Was ich nicht verstehe, wieso ist die Prämisse falsch? Der ganze Beweis ist recht einfach macht Sinn und habe ich verstanden. Außer das mit der Prämisse. Wieso kann xRy^yRx nicht gelten? Könnt ihr mir das vielleicht einfach veranschaulichen? [attach]47455[/attach] |
||||
14.06.2018, 15:13 | Guppi12 | Auf diesen Beitrag antworten » | ||
Es wurde doch gerade gezeigt, dass wenn xRy und yRx beides gilt, dies zu einem Widerspruch führt. Also kann es keine x,y geben mit xRy und yRx. |
||||
14.06.2018, 15:43 | ilovemathe2 | Auf diesen Beitrag antworten » | ||
Dies wurde damit gezeigt, dass die irreflexivität verletzt ist? |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
|
Die Neuesten » |
|