Formel schreiben < Prädikatenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 17:10 Mo 27.06.2011 | | Autor: | spb |
| Aufgabe | | Schreiben Sie eine Formel, die besagt, dass in einem Graphen kein Kreis der Länge 4 eine Diagonale besitzt. |
Hallo! Wie kann man solche Aufgabe lösen?
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
Hallo spb,
> Schreiben Sie eine Formel, die besagt, dass in einem
> Graphen kein Kreis der Länge 4 eine Diagonale besitzt.
> Hallo! Wie kann man solche Aufgabe lösen?
> Ich habe diese Frage in keinem Forum auf anderen
> Internetseiten gestellt.
Gar keine eigene Idee?
Ich formuliere es mal etwas um:
"Für alle Graphen gilt, dass jeder Kreis der Länge 4 keine Diagonale besitzt"
Kannst du das nun in eine aussagenlogische Formel übersetzen?
Gruß
schachuzipus
|
|
|
| |
|
| Status: |
(Frage) überfällig  | | Datum: | 23:17 Mo 27.06.2011 | | Autor: | spb |
Die Aufgabestellung verstehe ich schon. Ich habe leider das Thema nicht verstanden. Deswegen bin ich auch da.
|
|
|
| |
|
Hallo spb,
ich zweifle ein wenig daran, was eigentlich die Aufgabe ist und welche Notationen Ihr benutzen dürft.
Eine graphentheoretische Aufgabe im eigentlichen Sinn ist es ja sicher nicht. Bei der würde sich auch die Frage stellen, ob die Aussage überhaupt so stimmt. Sinn würde sie nur machen, wenn der vorausgesetzte 4er-Kreis zugleich der kleinste im Graphen existierende sein sollte.
Da dies offenbar aber gar nicht zu zeigen ist, geht es wohl nur darum, eine adäquate Notation zu finden. Vielleicht die folgende?
[mm] \exists A,B,C,D\in V|\exists \overline{AB}, \overline{BC}, \overline{CD}, \overline{DA} \Rightarrow \not\exists \overline{AC}, \overline{BD}
[/mm]
Ich lasse die Frage halboffen, weil ich - wie gesagt - nicht sicher bin, was der Aufgabensteller eigentlich will.
Grüße
reverend
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 23:22 Mi 29.06.2011 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
