Prädikatenlogik |
Alex
Mitglied
Dabei seit: 22.02.2012
Beiträge: 28
|
|
Hallo
leider habe ich dich nicht ganz verstanden was du mit Fakten und Zusammenhänge meinst. Kannst du mir bitte nähere Informationen geben.
Gruß Alex
|
|
18.09.2012 19:27 |
|
|
Alex
Mitglied
Dabei seit: 22.02.2012
Beiträge: 28
|
|
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
|
|
06.10.2012 21:00 |
|
|
Karlito
Kaiser
Dabei seit: 11.04.2011
Beiträge: 1.461
|
|
Hi,
leider nicht.
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
|
|
06.10.2012 23:18 |
|
|
Karlito
Kaiser
Dabei seit: 11.04.2011
Beiträge: 1.461
|
|
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
|
|
07.10.2012 20:18 |
|
|
Alex
Mitglied
Dabei seit: 22.02.2012
Beiträge: 28
|
|
Hallo,
hier ist meine neue Lösung:
(∀X) (∃ Y) ≠Y --->leichter(X,Y)
|
|
07.10.2012 22:13 |
|
|
Karlito
Kaiser
Dabei seit: 11.04.2011
Beiträge: 1.461
|
|
Hallo,
kannst du mir deine Lösung erklären?
VG,
Karlito
|
|
07.10.2012 23:02 |
|
|
Alex
Mitglied
Dabei seit: 22.02.2012
Beiträge: 28
|
|
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).
|
|
08.10.2012 18:09 |
|
|
Karlito
Kaiser
Dabei seit: 11.04.2011
Beiträge: 1.461
|
|
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:
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
|
|
08.10.2012 23:12 |
|
|
Alex
Mitglied
Dabei seit: 22.02.2012
Beiträge: 28
|
|
Hallo,
vielen dank für deine Hilfe. Ich mache andere Übungen damit ich es gut verstehen kann.
Gruß Alex
|
|
11.10.2012 17:39 |
|
|
|