Herbrand-Universum < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 22:45 Mo 24.02.2014 | | Autor: | starki |
| Aufgabe | Bestimmen Sie die Herbrand-Universen zu folgenden Formeln:
a) $ [mm] F_1 [/mm] = [mm] \forall [/mm] x P(f(x), g(a)) $
b) $ [mm] F_2 [/mm] = [mm] \forall [/mm] x [mm] \forall [/mm] y Q(h(x, y)) $
c) $ [mm] F_3 [/mm] = [mm] \forall [/mm] x P(x) $ |
a soll in diesem Beispiel eine Konstante sein.
also:
a) $ [mm] D(F_1) [/mm] = [mm] \{ a, f(a), g(a), f(f(a)), f(g(a)), g(f(a)), g(g(a)), ... \} [/mm] $
b) $ [mm] D(F_2) [/mm] = [mm] \{ a, h(a, a), h(h(a, a), a), h(a, h(a, a)), h(h(a, a), h(a, a)), ... \} [/mm] $
c) $ [mm] D(F_3) [/mm] = [mm] \{ a \} [/mm] $
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 23:20 Mi 26.02.2014 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
