Passende Struktur < Prädikatenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 22:45 So 20.04.2008 | | Autor: | RedHead |
| Aufgabe | Wir definieren die folgenden Strukturen A, B und C.
A: [mm] U_A [/mm] = [mm] \IR, P^A [/mm] = {(x, y) [mm] \in \IR ×\IR [/mm] | y = [mm] x^2 [/mm] }, [mm] f^A(x) [/mm] = [mm] x^2
[/mm]
B: [mm] U_B [/mm] = [mm] \IC, P^B [/mm] = {(x, y) [mm] \in \IC [/mm] × [mm] \IC [/mm] | y = [mm] x^2 [/mm] }, [mm] f^B(x) [/mm] = [mm] x^2
[/mm]
C: [mm] U_C [/mm] = {1}, [mm] P^C [/mm] = {(1, 1)}, [mm] f^C(x) [/mm] = x
Geben Sie für jede dieser Strukturen an,
ob sie zu den folgenden Formeln passend sind, und
und ob sie Modelle für sie sind. |
[mm] \exists [/mm] y P(x, y)
Also mein Frage ist welche Strukturen sind dazu passend bzw. was sind Modelle?
Ich dachte eigentlich A,B,C sind passende Strukturen und C ist ein Modell.
Allerdings steht hier in einer Beispiel Lösung das gar keine Struktur passend ist und somit auch keine ein Modell ist.Warum sind die Strukturen den nicht passend?
A: P(x,y) x,y [mm] \in \IR [/mm] d.h es existiert ein y so das [mm] y=x^2 [/mm] gilt bsp. y=4 x=2
B: s.o.
C: da es eh nur die 1 als Element gibt stimmt die Formel doch immer..
Oder hab ich da jetzt ein Denkfehler?
MfG RedHead
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 23:20 Di 22.04.2008 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
