Prädikatenlogik - Übersetzung < Prädikatenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 21:04 Do 27.05.2010 | | Autor: | Shlomoe |
| Aufgabe | Sei M=<D, I> ein Modell mit
D = (Angela, Guido, Horst)
I (LIEBT) = (<a,a> / a [mm] \varepsilon [/mm] D)
I (BRAUCHT) = D X D
I (MANN) = (GUIDO, HORST)
Geben Sie eine Belegung an, unter der die folgende Formel in M wahr wird und analysieren Sie die Formel in M unter dieser Belegung.
LIEBT (x,y) [mm] \wedge [/mm] NEG MANN (y) [mm] \wedge [/mm] BRAUCHT (a,z) |
Was mich am Modell ziemlich verwirrt ist das DxD, ich weiss nicht so wirklich, wie das zu verstehen ist.
Mein zaghafter Lösungversuch wäre jedenfalls dieser:
LIEBT (ANGELA,GUIDO) [mm] \wedge [/mm] NEG MANN (GUIDO) [mm] \wedge [/mm] BRAUCHT (ANGELA,HORST)
ANGELA LIEBT GUIDO UND WENN GUIDO NICHT DA IST BRAUCHT ANGELA HORST
Was meint Ihr?
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 21:20 So 30.05.2010 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
