Formel und Signatur erstellen < Prädikatenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 11:43 So 19.06.2011 | | Autor: | Flamy |
| Aufgabe | | Definieren Sie eine geeignete Signatur und schreiben Sie eine Formel, die das folgende besagt: alle Männer, die hoch sind oder hohe Geschwister haben, haben entweder hohe Mutter oder Großmutter. |
Hallo!
Ich habe zur beschriebenen Aufgabe das Problem, dass ich nicht genau weiß wie ich eine Prädikatenlogische Formel erstelle.
Mein bisheriger Ansatz ist der folgende.
1-Stelliges Prädikat H(x) x ist ein hoher mann.
2-Stelliges Prädikat G(x,y) x hat hohe Geschwister.
2-Stelliges Prädikat F(x,y) x hat hohe Mutter
2-Stelliges Prädikat B(x,y) x hat hohe Großmutter.
Als Objekt habe ich m = mann
Die Formel habe ich jetzt wie folgt aufgestellt.
$\ [mm] H(m)\vee\forall [/mm] y:G(m,y) [mm] \Rightarrow \forall [/mm] a: [mm] \forall [/mm] b:(F(m,a) [mm] \vee [/mm] B(m,b))$
Ist da irgendwas richtiges dran?
Viele Grüße
Jan
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 12:20 Mi 22.06.2011 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
