Logik:Klausuren/25.07.2003/1 Aufgabe: Unterschied zwischen den Versionen

Aus Tudwiki
Wechseln zu: Navigation, Suche
()
 
(kein Unterschied)

Aktuelle Version vom 21. Februar 2005, 22:35 Uhr

1. Aufgabenstellung[Bearbeiten]

Bestimmen Sie eine Pränexnormalform der folgenden Formel:

$ ((\forall X)((c(X) \rightarrow (\exists Y)b(X,Y)) \rightarrow b(X,X)) \rightarrow (\exists X)(\forall Y)a(X,Y)) $

2. Lösung[Bearbeiten]

$ (\exists X)(\exists Y)(\exists V)(\forall W)(((c(X) \rightarrow b(X, Y)) \rightarrow b(X,X)) \rightarrow a(V, W)) $

3. Lösungsweg[Bearbeiten]

4. Alternativen/Diskussion/Hinweise etc.[Bearbeiten]


zur Klausur 25.07.2003