Tau-Formeln < Prädikatenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 22:44 Mo 29.11.2010 | | Autor: | hilado |
| Aufgabe | Sei [mm] \tau [/mm] = {P, R, d} mit zweistelligem Prädikatssymbol P, einstelligem Prädikatssymbol R und Konstantensymol d. Man entscheide, ob die folgenden Zeichenreihen [mm] \tau-Formeln [/mm] sind.
[mm] \forall v_{1} \forall v_{1} R(v_{1})
[/mm]
[mm] \forall [/mm] d P(d)
[mm] (\forall v_{2} P(v_{2}, v_{2}) \to R(v_{2}))
[/mm]
[mm] \forallv_{0} P(v_{0}, R(v_{0})) [/mm] |
Formel 1, 3 und 4 sind [mm] \tau-Formeln, [/mm] weil sie die Definition nicht verletzen.
Formel 2 ist keine [mm] \tau-Formel, [/mm] weil P ein zweistelliges Prädikatssymbol ist.
Stimmt das soweit?
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 10:55 Mi 01.12.2010 | | Autor: | Manu87 |
4 ist auch keine Formel [mm] R(v_{0}) [/mm] ist eine atomare Formel. $P$ akzeptiert aber nur Terme.
Gruß von der Uni Freiburg
obv Logik für Studierende der Informatik
|
|
|
|
