Ist diese Formel gültig? < Prädikatenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 22:11 Mo 05.11.2007 | | Autor: | PlanetLN |
Hallo,
kann ich prädikatenlogische Formeln folgender Art konstruieren?
[mm] \forall [/mm] x [mm] \forall [/mm] y S(A(x) [mm] \wedge [/mm] B(x), C(y) [mm] \vee [/mm] D(y))
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
Danke
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 10:06 Di 06.11.2007 | | Autor: | koepper |
Hallo,
> [mm]\forall[/mm] x [mm]\forall[/mm] y S(A(x) [mm]\wedge[/mm] B(x), C(y) [mm]\vee[/mm] D(y))
Prädikate dürfen üblicherweise nur auf prädikatenlogische Terme angewendet werden, nicht jedoch ihrerseits auf Prädikate oder - wie hier - sogar auf logische Verknüpfungen von Prädikaten.
Gruß
Will
|
|
|
|
