Prädikatenlogik Terme finden < Diskrete Mathematik < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 11:13 Mi 14.10.2009 | | Autor: | felia79 |
| Aufgabe | Geben Sie die Terme an für:
a) x ist Vater von einem Kind
b) x ist Vater von genau einem Kind
c) Es gibt jemanden, der Vater von genau einem Kind ist.
M(Menge)={Rolf(Vater),Sandra(Mutter),Annette(Tochter),Beate(Tochter)}
M(x)= x ist männlich
K(x)= x ist Kind
E(x,y)= x ist Elternteil von y |
Hallo,
ich komme hier nicht weiter. Vielleicht könnt ihr mir helfen.
Bei a) komme ich auf [mm] M(x)\wedge [/mm] E(x,y)
Muss ich da noch K(y) einbauen? Oder reicht das so schon?
Die Formulierung bei b) und c) "genau von einem" kann ich nicht umsetzen. [mm] \exists [/mm] und [mm] \forall [/mm] passen da ja auch nicht, oder?
Wäre klasse, wenn mir da einer helfen könnte!
LG,
felia
Ich habe in keinem anderen Forum diese Frage gestellt!
|
|
| |
|
Hallo felia,
> Geben Sie die Terme an für:
>
> a) x ist Vater von einem Kind
> b) x ist Vater von genau einem Kind
> c) Es gibt jemanden, der Vater von genau einem Kind ist.
>
> M(Menge)={Rolf(Vater),Sandra(Mutter),Annette(Tochter),Beate(Tochter)}
(ich verstehe nicht ganz, weshalb überhaupt solch
eine "Modellfamilie" angegeben wird)
> M(x)= x ist männlich
> K(x)= x ist Kind
> E(x,y)= x ist Elternteil von y
> Bei a) komme ich auf [mm]M(x)\wedge[/mm] E(x,y)
> Muss ich da noch K(y) einbauen? Oder reicht das so schon?
Oft bezeichnet man die "Kinder" eines Vaters oder einer
Mutter auch noch als solche, wenn sie längst den Kinder-
schuhen entwachsen sind. Um aber präzise zu sein,
sollte man wohl die angebotene Aussageform K(x) hier
auch wirklich einsetzen. Damit käme man bei (a) also,
vorerst ausführlich formuliert, auf:
"x ist männlich, und es existiert ein y mit K(y) und E(x,y)"
> Die Formulierung bei b) und c) "genau von einem" kann ich
> nicht umsetzen. [mm]\exists[/mm] und [mm]\forall[/mm] passen da ja auch
> nicht, oder?
Es gäbe das Symbol [mm] \exists\,! [/mm] für "es existiert genau ein ...".
Dieses soll man aber in dieser Übung wohl nicht verwen-
den. Aber man kann es auch mit den normalen Symbolen
umschreiben, in der Art:
"es existiert ein y mit A(y) , und wenn A(u) und A(v), so ist u=v"
LG Al-Chw.
|
|
|
|
