Bereinigte Pränexform
2005-10-11 12:40
Anonymer User
Hi zusammen,
folgende Aufgabe gegeben: Bilden Sie die BPF äquivalent zu F.
F = FürAlle x [FürAlle u [(R(x,u) v (-P(u)) –> P(u))] ^ EsGibtEin u R(x,u)]
Irgendwie irritiert mich diese Sache mit dem umgedrehten Quantor bei einer Implikation.. mein Ergebnis sieht so aus (richtig? falsch?):
F in BPF: FürAlle x EsGibtEin u EsGibtEin u_1 [ [(R(x,u) v -P(u)) –> P(u))] ^ (R(x,u_1)]
Danke für Eure Hilfe!
folgende Aufgabe gegeben: Bilden Sie die BPF äquivalent zu F.
F = FürAlle x [FürAlle u [(R(x,u) v (-P(u)) –> P(u))] ^ EsGibtEin u R(x,u)]
Irgendwie irritiert mich diese Sache mit dem umgedrehten Quantor bei einer Implikation.. mein Ergebnis sieht so aus (richtig? falsch?):
F in BPF: FürAlle x EsGibtEin u EsGibtEin u_1 [ [(R(x,u) v -P(u)) –> P(u))] ^ (R(x,u_1)]
Danke für Eure Hilfe!