Beweis Prädikatenlogik |
| 23.07.2023, 12:32 | Dedo97 | Auf diesen Beitrag antworten » | ||
| Beweis Prädikatenlogik Wir betrachten hier wieder Graphen als logische Struktur, jedoch haben wir diesmal auch zwei Konstanten s und t in unserer Signatur, das heißt wir betrachten die Signatur ?=(E^2,s^0,t^0). Geben Sie für jedes gerade k eine logische Formel ?_k an, für die gilt, dass (S,?)??_k genau dann gilt, wenn es einen Weg der Länge k von s nach t gibt. Die Formel soll maximal zwei Variablen benutzen. Hinweis: Probieren Sie zuerst einmal, ?4 explizit zu konstruieren. Um mit nur zwei Variablen auszukommen, müssen Sie diese »wiederverwerten«. Meine Ideen: Ich habe wirklich keine Ahnung, wie man damit anfangen soll. |
||||
| 23.07.2023, 12:35 | Dedo | Auf diesen Beitrag antworten » | ||
| RE: Beweis Prädikatenlogik Korrektur: Da sollte (S,±)⊨ Õ_k stehen und kein Fragezeichen. |
||||
| 24.07.2023, 06:59 | HAL 9000 | Auf diesen Beitrag antworten » | ||
Ist doch schön, dass wenigstens einige ihre Beiträge noch korrekturlesen und dann so hilfreiche Ergänzungen anbieten - jetzt ist doch gleich alles viel klarer. 
|
||||
|
|
Verwandte Themen
| Die Beliebtesten » |
|
| Die Größten » |
|
| Die Neuesten » |
Doppelpost!