Prädikatenlogik Sprichwort

Neue Frage »

Auf diesen Beitrag antworten »
Miss Piggy Prädikatenlogik Sprichwort

Hallo,
ich soll folgendes Sprichwort als mithilfe der Prädikatenlogik darstellen:

"Wer zuerst kommt mahlt zuerst"

dafür hab ich erstmal die 2 prädikate K(x) für kommt zuerst
und M(x) mahlt zuerst eigeführt.

Meine lösung wäre nun:
[latex] \forall x: (M(x) \leftrightarrow K(x)) [/latex]

Es wäre nett, wenn mit wer eine rückmeldung geben könnte.

Lieben Gruß
 
Auf diesen Beitrag antworten »
Karlito

Müsste passen. Laut unserer Definition ist der Ausdruck, den Du da geschrieben hast jedoch kein gültiger Ausdruck innerhalb der Sprache der Prädikatenlogischen Ausdrücke. Der Doppelpunkt gehört nicht dazu.

VG,

Karlito
Auf diesen Beitrag antworten »
Miss Piggy

Hey
danke dir. Okay den Doppelpunkt ersetz ich noch durch einen Punkt. Ich war mir nicht sicher ob ich genau dann wenn oder die implikation nehmen sollte.
 
Neue Frage »
Antworten »


Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »