Seite 1 von 1

18yo female needs male tutor (updated)

Verfasst: 29. Aug 2011 14:29
von student08
Hallo,

Bei der Bearbeitung der 7. FGDI2-Übung fiel uns auf, dass bei der Aufgabe G1 die Quantor-Regeln
nicht so angewendet wurden, wie sie im Script definiert wurden:

Wieso bleibt in der Formel, auf welche man eine Quantorenregel angewendet hat, die Teilformel mit
dem Quantor stehen?

Gruß

Verfasst: 29. Aug 2011 16:28
von kroimon
student08 hat geschrieben:18yo female needs male tutor
You, sir, are a genius!

Deine Frage kann ich dir leider trotzdem nicht beantworten ;-)

Re: 18yo female needs male tutor

Verfasst: 29. Aug 2011 16:42
von Matthias Senker
Hab mir die gleiche Frage gestellt und in einem alten Thread aus dem letzten Jahr eine Antwort gefunden:

http://www.d120.de/forum/viewtopic.php?f=170&t=20244

Man kann es sich aussuchen, ob man die Formel mit dem Quantor behält, oder nicht - beides ist nach den Ableitungsregeln korrekt - , aber manchmal muss man einfach eine Regel mehrmals auf den selben Quantor anwenden. (z.B. bei der G1 d) auf dem 7. Übungsblatt - da wird zweimal die Allquantorregel für die linke Seite verwendet, obwohl da ja nur ein Allquantor steht)

Re: 18yo female needs male tutor

Verfasst: 29. Aug 2011 17:33
von student08
danke für die antworten

Re: 18yo female needs male tutor (updated)

Verfasst: 31. Aug 2011 18:07
von student08
In der Aufgabe H1 vom 5. Übungsblatt setzt sich die Trägermenge des Herbrandmodells aus T_0 und T_n+1 zusammen.
Laut Definition sollte die Trägermenge lediglich aus T_0, also einer variablefreien Termstruktur bestehen.
Wieso wurde das so gelöst?

Re: 18yo female needs male tutor (updated)

Verfasst: 31. Aug 2011 18:13
von Ankou
Weil die Indizes mit unterschiedlichen Bedeutungen verwendet worden sind. Im Script ist der Index von \(T_n(x)\) die Anzahl der freien Variablen, in der Übung ist der Index einfach für eine rekursive Definition verwendet worden. Die Termstruktur, die da gebaut wird ist dennoch ohne freie Variablen also eigentlich \(T_0(x)\)

Re: 18yo female needs male tutor (updated)

Verfasst: 31. Aug 2011 19:09
von student08
Ah vielen Dank, jetzt wird es uns klar :)