Informatiker Board (http://www.informatikerboard.de/board/index.php)
- Themengebiete (http://www.informatikerboard.de/board/board.php?boardid=1)
--- Theoretische Informatik (http://www.informatikerboard.de/board/board.php?boardid=5)
---- Logik (http://www.informatikerboard.de/board/board.php?boardid=16)
----- Prädikatenlogik Sprichwort (http://www.informatikerboard.de/board/thread.php?threadid=1668)

Geschrieben von Miss Piggy am 04.10.2013 um 18:43:

  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ß


Geschrieben von Karlito am 06.10.2013 um 00:29:

 

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


Geschrieben von Miss Piggy am 06.10.2013 um 14:19:

 

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.


Forensoftware: Burning Board, entwickelt von WoltLab GmbH