Prädikatenlogik < Prädikatenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 18:58 So 08.02.2009 | | Autor: | pueppiii |
| Aufgabe | Formalisieren folgende Sätze in Prädikatenlogik und überführen der Formel in Klauselform.
a)Bäcker essen Brot nur dann, wenn sie es selbst gebacken haben.
b)Wer sein Fahrrad liebt, der schiebt (es).
c)Ohne Fleiß kein Preis(=Wer nich fleißig ist, der erhält keinen Preis) |
Hallo,
ich komme mit der Formalisierung nicht richtig klar! Könnte mir bitte jemamd sagen, ob meine Ansätze richtig sind bzw. erklären, wie es funktioniert!!
Ich wär euch sehr dankbar, die Überführung in Klauselform ist das kleinste Problem.
zu a) [mm] \forall [/mm] x [mm] (B(x)\to [/mm] E(x))
zu b) [mm] \exists [/mm] x [mm] (J(x)\toF(y)\wedge [/mm] S(y))
zu c) [mm] \forall [/mm] x [mm] (\neg F(x)\to \neg [/mm] P(x))
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
Hallo pueppiii,
Du bist auf dem richtigen Weg.
> zu a) [mm]\forall[/mm] x [mm](B(x)\to[/mm] E(x))
Vielleicht solltest Du die x noch auf Bäcker beschränken. Außerdem gilt sicher nicht allgemein, dass ein Bäcker, der Brot gebacken hat, es dann auch zwingend isst. In der Praxis werden hie und da einige der gebackenen Brote an Fremde, genannt Kunden, verkauft. 
> zu b) [mm]\exists[/mm] x [mm](J(x)\toF(y)\wedge[/mm] S(y))
Hier komme ich nicht dahinter, was Du meinst:
Es gibt mindestens eine Person, die ein Fahrrad hat und es daher liebt und schiebt? Was sind J(x), F(y) und S(y)? x die Person, y das Fahrrad, nehme ich an.
Formulieren müsstest Du: für alle Personen, die ein Fahrrad besitzen und die es lieben, gilt: sie schieben das Fahrrad.
> zu c) [mm]\forall[/mm] x [mm](\neg F(x)\to \neg[/mm] P(x))
Das sieht ok aus.
Man würde natürlich normalerweise logisch äquivalent umformen, aber das war hier nicht gefragt.
> Ich habe diese Frage in keinem Forum auf anderen
> Internetseiten gestellt.
Grüße,
reverend
|
|
|
|
