Formalisieren < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 16:33 Mo 22.10.2007 | | Autor: | sandia |
| Aufgabe | Formalisieren Sie!
Fritz tanzte bis auf eine Ausnahme mit jedem Mädchen. |
Ich bin mir über die Lösung der Aufgabe nicht sicher. Vielleicht findet sich ja einer unter euch der mir sagen kann, ob ich den richtigen Lösungsweg gefunden habe.
Lösung:
w(f) = Fritz
w(w) = Menge der weiblichen Anwesenden
w(T) = {[a,b]:a und b tanzen, a männlich, b weiblich}
oder {[x,y]: x tanzt mit y}
[mm] \exists [/mm] y (w(y) [mm] \to \sim [/mm] T (f,y)) [mm] \wedge \forallx [/mm] (w(x) [mm] \wedge (\sim [/mm] T(f,y)) [mm] \to [/mm] y=x))
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 17:38 Mi 24.10.2007 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
