Formel zur Struktur finden < Diskrete Mathematik < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | Abbildungen von der Menge A in die Menge B kann man als binäre Relation aufassen, wobei (x,y) [mm] \in [/mm] R genau dann gilt, wenn f(x) = y. Wir betrachten die einstelligen Prädikate M,N und das zweistellige Prädikat P.
1. Gesucht ist eine prädikatenlogische Formel, so dass für alle zu F passenden Strukturen S = (U, I ), die F wahr machen, gilt:
P ist eine Abbildung von M in N. |
Mein Vorschlag für die Formel wäre:
[mm]F = \forall x ( M(x) => \exists y ( N(y) \wedge P(x,y) \wedge \forall z ( (N(z) \wedge P(x,z)) <=> (y = z) ) ) )[/mm]
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 16:20 Mo 30.11.2009 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
