Äquivalentes Kriterium finden < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 11:25 Mi 30.10.2013 | | Autor: | BassTah |
| Aufgabe | Definition: Ein Graph mit n Knoten heißt "vollständig", wenn es zu je zwei Knoten stets genau eine verbindende Kante gibt.
Geben Sie ein Kriterium an, das äquivalent dazu ist, dass ein Graph mit n Knoten nicht vollständig ist. |
Guten Tag,
Ich stehe hier gerade vor einer Aufgabe, die mir derzeit etwas Schwierigkeiten bereitet vom Verständnis, sowie der Umsetzung. Ich würde mich sehr freuen über den ein oder anderen Tipp auf die richtige Spur oder für das Aufzeigen meiner Denkfehler.
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
Die Aufgabe soll nach folgender Form gelöst werden.
- Grundaussage benennen: ...
- Teilaussagen/Aussageformen:
- "Dann gilt:"
Ich bin bereits ein wenig vorangeschritten, jedoch weiß ich leider absolut nicht, wie ich die Aufgabenstellung umsetzen kann. Mir ist unklar wie ich das besagte 'Kriterium' angeben soll oder wie ich dieses Kriterium herausfinden kann.
Grundaussage benennen:
C : Wenn es zu je zwei Knoten stets genau eine verbindende Kante gibt, dann heißt ein Graph mit n Knoten "vollständig".
Teilaussagen:
A: Es gibt zu je zwei Knoten stets genau eine verbindende Kante.
B: Ein Graph mit n Knoten heißt "vollständig".
[mm] \neg [/mm] B: Ein Graph mit n Knoten heißt nicht "vollständig".
Dann gilt:
A [mm] \Rightarrow [/mm] B
Überlegungen bisher:
(A [mm] \Rightarrow B)\gdw (\neg [/mm] B [mm] \Rightarrow \neg [/mm] A)
[mm] \neg [/mm] B [mm] \gdw \neg [/mm] A ?
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 12:20 Sa 30.11.2013 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
