Prädikatenlogik, einfache Sätze

Neue Frage »

Nina123 Auf diesen Beitrag antworten »
Prädikatenlogik, einfache Sätze
Meine Frage:
Hallo :-)
Habe folgende Aufgabe als bekommen, komme aber leider nicht weiter :-( bitte um Hilfe!

Symbolisiere die folgenden Aussagen unter Verwendung der gegebenen Interpretation:
N= die Menge aller Menschen

V( x,y) : x ist Vater von y
M (x,y) : x ist Mutter von y
E (x,y) : x ist Ehemann vony
S( x,y) : x ist die Schwester von y
B (x,y) : x ist der Bruder von y

m: Maria
h: Harry
w: Wilhelm
a: Artur

a) Wer einen Vater hat, hat auch eine Mutter
b) alle Größväter sind Väter
c) Harry ist ein Elternteil
d) alle Väter sind Eltern
e) alle Großväter sind Väter
f) Harry ist ein Ehemann
g) Harry nd Maria sind miteinander verheiratet
h) Wilhelm ist Marias Schwager
i)Artur ist Wilhelms Großvater väterlicherseits
j)Maria ist Arthurs Tante
k) Jede unverheiratete Tante ist ist eine Schwester von irgend jemand.
l) Kein Onkel ist gleichseitig Tante
m) Ein Großvater kann nicht Mutter sein.


Meine Ideen:
Ein paar Sätze habe ich schon allein probiert zu lösen, komme jetzt aber nicht mehr weiter:

Jedermann hat einen Vater =
Allquantor x e N: (Existensquantor y ? N : V(y,x)
Harry ist Vater
Existensquantor x e N : V(h,x)..
Elvis Auf diesen Beitrag antworten »

Mit den üblichen Operatoren und Quantoren sollte das nicht so schwer sein.

Beispiel a)

Zur Rechtschreibung :"Existenz", nicht "Existens", also "Existenzquantor".
Neue Frage »
Antworten »



Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »