| Die letzten 10 Beiträge |
| Alex |
Hallo,
vielen dank für deine Hilfe. Ich mache andere Übungen damit ich es gut verstehen kann.
Gruß Alex |
| Karlito |
Hallo,
ich habe es schon lesen können. Es wäre günstig, wenn Du für soetwas LaTeX verwendest. Dazu kannst du einfach meinen Beitrag kopieren und anpassen. Wenn du das Bild der Formel mitkopierst, und in ein Textfeld einfügst, wird der Quelltext übertragen.
Es ändert leider nichts daran, dass deine Lösung falsch ist. Es ist schon alleine kein prädikatenlogischer Ausdruck. Ich habe versucht dich da heranzuführen. Es scheint leider so, dass Du nicht verstehst, was ich dir zu sagen versuche. Deshalb hier meine Lösung:
(\forall Y)((aufgabe(X)\wedge aufgabe(Y)\wedge aufgabe3(X)\wedge \neg aufgabe3(Y))\rightarrow (leichter(X,Y)) [/latex]](http://www.matheboard.de/latex2png/latex2png.php?(\forall X)(\forall Y)((aufgabe(X)\wedge aufgabe(Y)\wedge aufgabe3(X)\wedge \neg aufgabe3(Y))\rightarrow (leichter(X,Y)) )
Ich kann Dir nur folgendes empfehlen:
1. Schau Dir bitte noch einmal an, wie prädikatenlogische Ausdrücke definiert sind (was du geschrieben hast, war leider ziemlicher Nonsens)
2. Versuche meine Lösung nachzuvollziehen
Gern kannst Du, wenn du etwas nicht verstehst noch einmal nachfragen.
VG,
Karlito |
| Alex |
Hallo,
es wurde nicht richtig formatiert. Wenn ich Quantorzeichen gebe wird es falsch dargestellt. Hier ist es in Text form:
(Für alle X) (exestiert eine Y) ungleich Y ---> leichter (X,Y). |
| Karlito |
Hallo,
kannst du mir deine Lösung erklären?
VG,
Karlito |
| Alex |
Hallo,
hier ist meine neue Lösung:
(∀X) (∃ Y) ≠Y --->leichter(X,Y) |
| Karlito |
Hi,
jo, du hast es definiert. Damit gibst du jedoch schon vor was X und Y sein sollen. Das sollte jedoch nicht erforderlich sein.
Der Weg geht so, dass du mit deinem prädikatenlogischen Ausdruck prüfst, ob was X und was Y ist und dann prüfst du, ob die Konsequenz daraus richtig ist.
In meinem Beispiel habe ich das mit dem König gemacht. X kann hier auch eine Hausfrau oder ein Stück Käse sein (oder irgendetwas anderes). Nur wenn X ein König ist, muss es ein Land geben, welches von ihm regiert wird. Bei einem Stück Käse ist uns das egal.
So musst Du deinen Ausdruck auch aufbauen.
VG,
Karlito |
| Alex |
Hallo,
ich habe nicht ganz verstanden was du damit meinst, dass X und Y alles sein können. Die habe ich doch definiert.
Gruß Alex |
| Karlito |
Hi,
leider nicht.
 \neq 3 \rightarrow Leichter(X,Y)[/latex]](http://www.matheboard.de/latex2png/latex2png.php?(\forall Y) \neq 3 \rightarrow Leichter(X,Y))
ist kein gültiger Ausdruck der Prädikatenlogik.
Es reicht nicht, hinzuschreiben, dass X Aufgabe 3 ist und Y leichter ist. Schon alleine, da leichter eine Relation. Gehe davon aus, dass X und Y alles mögliche sein kann. Was X und Y sind, muss im Ausdruck definiert sein. Schaue dir dazu vlt noch mal mein Beispiel an.
VG,
Karlito |
| Alex |
Hallo,
hier ist meine Lösung zu den Aufgabe:
Aufgabe 3 = X
Leichter = Y
(∀ Y) ≠ 3 --> Leichter (X,Y)
Ist das so richtig?
Gruß Alex |
| Karlito |
Hallo,
naja, du musst Aufgaben vergleichen. Also hast du erstmal 2 Variablen. Nennen wir sie X und Y.
Nun musst du beschreiben, was sie sind (Variablen können ja potentiell Alles sein) und wie sie zusammenhängen. Dazu solltest Du den Begriff "Relation" kennen.
Mit einer Relation kann man Ausdrücken, ob eine Variable Element einer Menge ist. So kann man zum Beispiel ausdrücken: Ein König regiert ein Land. In Prädikatenlogik ergäbe sich da wenn X ein König ist, so gibt es ein Y welches ein Land ist und X regiert Y.
Formal: ![[latex] (\forall X)(\exists Y)(koenig(X) \rightarrow regiert(X,Y)) [/latex]](http://www.matheboard.de/latex2png/latex2png.php? (\forall X)(\exists Y)(koenig(X) \rightarrow regiert(X,Y)) )
Edit: (habe Land vergessen) ![[latex] (\forall X)(\exists Y)(koenig(X) \rightarrow (regiert(X,Y)\wedge land(Y))) [/latex]](http://www.matheboard.de/latex2png/latex2png.php? (\forall X)(\exists Y)(koenig(X) \rightarrow (regiert(X,Y)\wedge land(Y))) )
Macht dies deutlich was ich meine?
VG,
Karlito |
| Es sind weitere Beiträge zu diesem Thema vorhanden. Klicken Sie hier, um sich alle Beiträge anzusehen. |
|
|
