95. Finden Sie eine Formel in Pränexform ohne

95. Finden Sie eine Formel in Pränexform ohne Existenzquantoren, die zur Negation von
∃x((∃y P (y)) → P (x)) erfüllungsäquivalent ist, und verwenden Sie Resolution, um
deren Unerfüllbarkeit zu beweisen.
96. Sei G = (V, E) ein ungerichteter Graph (d.h. E ist eine symmetrische zweistellige
Relation auf V ), und sei k eine natürliche Zahl. Jede Abbildung f : V → {1, . . . , k},
die benachbarten Knoten verschiedene Werte zuordnet (d.h. (x, y) ∈ E ⇒ f (x) 6=
f (y)) heißt zulässige Färbung von G mit höchstens k Farben.
”
Zeigen Sie, dass ein Graph G genau dann mit 4 Farben zulässig gefärbt werden kann,
wenn jeder endliche Untergraph von G diese Eigenschaft hat.
(Hinweis: Kompaktheitssatz für Aussagen- oder Prädikatenlogik verwenden.)