Prädikatenlogik, einfache Sätze |
05.03.2010, 17:33 | Nina123 | Auf diesen Beitrag antworten » |
Prädikatenlogik, einfache Sätze 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).. |
||
06.03.2010, 14:45 | 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". |
|
Verwandte Themen
Die Beliebtesten » |
Die Größten » |
Die Neuesten » |
|