Informatiker Board | Logik | Prädikatenlogik Sprichwort

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

» Hallo Gast [Anmelden|Registrieren]

Letzter Beitrag | Erster ungelesener Beitrag

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

Prädikatenlogik Sprichwort

Autor

Beitrag

« Vorheriges Thema | Nächstes Thema »

Miss Piggy
unregistriert

Prädikatenlogik Sprichwort

Zitatantwort auf diesen Beitrag erstellen

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ß

04.10.2013 18:43

Karlito Karlito ist männlich

Kaiser

Dabei seit: 11.04.2011
Beiträge: 1.461

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

06.10.2013 00:29

Nehmen Sie Karlito in Ihre Freundesliste auf

Miss Piggy
unregistriert

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.

06.10.2013 14:19

Baumstruktur | Brettstruktur

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