Herbrand Modell < Prädikatenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 17:15 So 26.01.2014 | | Autor: | Hero991 |
| Aufgabe | Bestimmen Sie ein Herbrand Modell für die Formel:
[mm] \forall [/mm] x(P(x,f(f(x))) [mm] \wegde \neg [/mm] P(x,f(x))) |
Hallo, ich habe eine Frage zur dieser Aufgabe.
Meine Lösung folgende:
Wähle 0-stellige funktion [mm] g\\
[/mm]
[mm] U=D(G)=$\lbrace g,f(g),f(f(g)),f(f(f(g)))...\rbrace$ \\
[/mm]
I(g)=g [mm] \\ [/mm]
[mm] I(f($t_1$))=f($t_1$)=$t_2$ \\
[/mm]
I(f(g))=f(g) [mm] \\ [/mm]
[mm] I(f(f($t_1$)))=f(f($t_1$))=$t_2$ \\
[/mm]
I(f(f(g)))=f(f(g)) [mm] \\ usw.\\
[/mm]
I(P) [mm] $\to [/mm] W,F$ [mm] \\
[/mm]
[mm] I(P)=$\lbrace [/mm] (m=n) [mm] \mid [/mm] m,n [mm] \in D(G)\rbrace$ \\
[/mm]
Ich bin mir nicht sicher ob meine Lösung richtig ist und deswegen frag ich euch um Hilfe.
Wie muss ich P interpretieren damit die Formel ein Herbrand Modell hat?
Beste Grüße
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 17:20 Di 28.01.2014 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
