Modell für eine Aussage |
16.01.2013, 15:45 | Auf diesen Beitrag antworten » | ||||||||
Student118 | Modell für eine Aussage Meine Frage: Hey, Mir wurde als Aufgabe gestellt für die folgende Aussage ein Modell anzugeben (Die Quantoren schreibe ich jetzt mal als "A" und "E") A x,y,z (R(x,y) und R(y,z) -> R(x,z)) ^ A x,y (!R(x,y) oder !R(y,x)) ^ E x,y (R(x,y)) ^ A x,y E z (R(x,y) -> (R(x,z) ^ R(z,y))) Also ich steh hierbei komplett aufm Schlauch. Wie finde ich für so etwas ein Modell? Einfach durch ausprobieren? MFG Meine Ideen: Die erste Zeile besagt ja, dass ich eine transitive Relation brauche. Die zweite Zeile besagt, dass diese nicht symmetrisch sein darf. Die dritte Zeile, dass es für ein bestimmtes X und ein bestimmtes Y aus der Menge nur eine Lösung mit dieser Relation geben darf. Tja und bei der vierten weiß ich nicht so genau.. |
||||||||
|
|||||||||
16.01.2013, 15:53 | Auf diesen Beitrag antworten » | ||||||||
Student118 | Die "^" sollen natürlich auch unds darstellen... |
||||||||
16.01.2013, 16:08 | Auf diesen Beitrag antworten » | ||||||||
Karlito | RE: Modell für eine Aussage
Stimmt.
Stimmt.
Ich weiß nicht ob du das selbe meinst, aber im Prinzip interpretiere ich es einfach so, dass die Relation nicht leer sein darf.
Naja, diese Bedingung sagt einfach, dass es zwischen 2 Elementen immer ein drittes geben muss. Woran erinnert Dich das? Mir fällt sofort etwas ein für dass das zutrifft. Tipp: Mathematische Körper Edit: ich glaube Körper ist falsch... Zahlenbereiche trifft es wohl eher... VG, Karlito |
||||||||
16.01.2013, 16:37 | Auf diesen Beitrag antworten » | ||||||||
Student118 | Ist damit eventuell das Modell (R,<) gefragt? Die "<"-Relation ist transitiv, nicht symmetrisch, nicht leer und es liegt immer eine Zahl zwischen zwei anderen Zahlen MFG |
||||||||
Anzeige | |||||||||
|
|||||||||
16.01.2013, 16:41 | Auf diesen Beitrag antworten » | ||||||||
Karlito | Jo, genau so würde ich das auch sehen. R ist also Beispielsweise eine Halbordnung über den reellen Zahlen. VG, Karlito |
||||||||
16.01.2013, 16:46 | Auf diesen Beitrag antworten » | ||||||||
Student118 | Danke dir Karlito jetzt habe ichs verstanden. Tatsächlich hatte ich vorher schon an das Modell gedacht aber ich hatte einfach die 3te und 4te Zeile der Aussage falsch verstanden. Aber dank deiner Erklärung ist es mir jetzt klar MFG |
||||||||
16.01.2013, 16:50 | Auf diesen Beitrag antworten » | ||||||||
Karlito | Freut mich geholfen zu haben. Gerne wieder. VG, Karlito |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
|
Die Neuesten » |
|