Informatiker Board | Logik | Prädikatenlogik

Informatiker Board » Themengebiete » Theoretische Informatik » Logik » Prädikatenlogik

» Hallo Gast [Anmelden|Registrieren]

Letzter Beitrag | Erster ungelesener Beitrag

Druckvorschau | An Freund senden | Thema zu Favoriten hinzufügen

Prädikatenlogik

Autor

Beitrag

« Vorheriges Thema | Nächstes Thema »

Alex
Mitglied

Dabei seit: 22.02.2012
Beiträge: 28

Prädikatenlogik

Zitatantwort auf diesen Beitrag erstellen

Hallo,

kann mir bitte jemand bei dieser Aufgabe helfen?

Drücken Sie die folgenden Sachverhalt Prädikatenlogisch aus:

Die Aufgabe 3 ist leichter zu lösen als alle anderen Aufgaben.

Ich weiß nicht wie ich an dieser Aufgabe herangehen soll.

Gruß Alex

Dieser Beitrag wurde 1 mal editiert, zum letzten Mal von Alex: 17.09.2012 21:33.

17.09.2012 21:33

Nehmen Sie Alex in Ihre Freundesliste auf

Karlito Karlito ist männlich

Kaiser

Dabei seit: 11.04.2011
Beiträge: 1.461

Hi,

schreib doch als erstes mal auf, was du alles weist.

VG,

Karlito

Edit: Einfache Fakten und Zusammenhänge

Dieser Beitrag wurde 1 mal editiert, zum letzten Mal von Karlito: 17.09.2012 21:52.

17.09.2012 21:49

Nehmen Sie Karlito in Ihre Freundesliste auf

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

Karlito Karlito ist männlich

Kaiser

Dabei seit: 11.04.2011
Beiträge: 1.461

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]$

Edit: (habe Land vergessen) $[latex] (\forall X)(\exists Y)(koenig(X) \rightarrow (regiert(X,Y)\wedge land(Y))) [/latex]$

Macht dies deutlich was ich meine?

VG,

Karlito

Dieser Beitrag wurde 1 mal editiert, zum letzten Mal von Karlito: 19.09.2012 21:20.

19.09.2012 02: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 Karlito ist männlich

Kaiser

Dabei seit: 11.04.2011
Beiträge: 1.461

Hi,

leider nicht.

$[latex](\forall Y) \neq 3 \rightarrow Leichter(X,Y)[/latex]$

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

Alex
Mitglied

Dabei seit: 22.02.2012
Beiträge: 28

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

Dieser Beitrag wurde 1 mal editiert, zum letzten Mal von Alex: 07.10.2012 19:49.

07.10.2012 19:44

Karlito Karlito ist männlich

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 Karlito ist männlich

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 Karlito ist männlich

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:

$[latex](\forall X)(\forall Y)((aufgabe(X)\wedge aufgabe(Y)\wedge aufgabe3(X)\wedge \neg aufgabe3(Y))\rightarrow (leichter(X,Y)) [/latex]$

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

Baumstruktur | Brettstruktur

Informatiker Board » Themengebiete » Theoretische Informatik » Logik » Prädikatenlogik