Formalisieren < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 21:24 Di 23.10.2007 | | Autor: | sandia |
| Aufgabe | Formalisieren Sie:
1) Mit Fritzens Großvater (väterlicherseits) tanzten alle seine Töchter, aber keines seiner Enkel.
2)Fritz tanzt mit jedem Mädchen und es gibt nur einen, der nicht tanzte.
3)Bis auf einen tanzte jeder Junge mit jedem Mädchen.
4)Fritz tanzte bis auf eine Ausnahme mit jedem Mädchen.
|
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
Ich bitte um Mithilfe!
Ich würde gern meine Ansätze hier rein schreiben und hoffe von euch auf eine Korrektur oder erweiterte Antwort.
zu1) M = Menge der Verwandten
w(V) = "y ist Vater von x"
w(G) = "y ist Großvater von x"
w(T) = {[a,b] =a tanzt mit b}
w(w) = {x: x ist weiblich}
w(F) = Fritz
Basis B = [mm] [{w^{1}, T^{2}},{v^{2},G^{2}}, [/mm] {F}]
zu2) M = Menge der Anwesenden
w(F) = Fritz
w(w) = {x : x ist weiblich}
w(T) = {[a,b] : a tanzt mit b}
Basis B = [mm] [{w^{1}, T^{2}},\emptyset, [/mm] {F}]
zu3) M = Menge der Anwesenden
w(J) = Menge der anwesenden Jungen
w(T) = {[a,b] : a,b [mm] \in [/mm] M [mm] \wedge [/mm] a tanzt mit b}
[mm] \exists [/mm] x (J(x) [mm] \wedge \exists [/mm] z ( [mm] \sim [/mm] J(z) [mm] \wedge \sim [/mm] T (x,z)) [mm] \wedge \forall [/mm] y [mm] \forall [/mm] z (J(y) [mm] \wedge \sim [/mm] x = y [mm] \wedge \sim [/mm] J (z) [mm] \to [/mm] T (y,z))
zu 4) M = Menger der Anwesenden
w(f) = Fritz
w(w) = Menge der weiblichen Anwesenden
w(T) = {[a,b] : a tanzt mit b}
[mm] \exists [/mm] y (w(y) [mm] \to \sim [/mm] T (f,y)) [mm] \wedge \forall [/mm] x (w(x) [mm] \wedge [/mm] ( [mm] \simT [/mm] (f,y)) [mm] \to [/mm] y= x))
So, das ist alles was mir im Moment einfällt ... vielleicht gibt es ja den ein oder anderen, der sich gern mit so etwas beschäftigt und mir vielleicht weiterhelfen kann.
Vielen Dank!! :)
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 22:23 Do 25.10.2007 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
