Tau-Terme < Prädikatenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 21:22 Mo 29.11.2010 | | Autor: | hilado |
| Aufgabe | Sei [mm] \tau [/mm] = {d, g, c, d} mit zweistelligem Funktionssymbol f, einstelligem Funktionssymbol g und Konstantensymbol c, d. Man entscheide, ob die folgenden Zeichenreihen [mm] \tau-Terme [/mm] sind:
g(g(f(c, d)), c)
[mm] f(g(f(v_{3}, [/mm] c)), d) |
Mein Vorschlag bisher (aber ich bin mir da nicht sicher):
- g(g(f(c, d)), c) ist kein [mm] \tau-Term, [/mm] weil in diesem g auch eine zweistellige Funktion ist
- [mm] f(g(f(v_{3}, [/mm] c)), d) ist ein [mm] \tau-Term.
[/mm]
Stimmt das soweit?
Edit: Ich hab vielleicht vergessen zu erwähnen, dass es sich hier um die Sprache erster Stufe handelt ...
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 10:57 Mi 01.12.2010 | | Autor: | Manu87 |
Passt habs auch so gemacht...
|
|
|
|
