Registrierung Kalender Mitgliederliste Teammitglieder Suche Häufig gestellte Fragen Zur Startseite

Informatiker Board » Themengebiete » Theoretische Informatik » Logik » Prädikatenlogik Sprichwort » Antwort erstellen » Hallo Gast [Anmelden|Registrieren]

Antwort erstellen
Benutzername: (du bist nicht eingeloggt!)
Thema:
Nachricht:

HTML ist nicht erlaubt
BBCode ist erlaubt
Smilies sind erlaubt
Bilder sind erlaubt

Smilies: 21 von 33
smileWinkDaumen hoch
verwirrtAugenzwinkerngeschockt
Mit ZungeGottunglücklich
Forum Kloppebösegroßes Grinsen
TanzentraurigProst
TeufelSpamWillkommen
LehrerLOL HammerZunge raus
Hilfe 
aktuellen Tag schließen
alle Tags schließen
fettgedruckter Textkursiver Textunterstrichener Text zentrierter Text Hyperlink einfügenE-Mail-Adresse einfügenBild einfügen Zitat einfügenListe erstellen CODE einfügenPHP CODE farbig hervorheben
Spamschutz:
Text aus Bild eingeben
Spamschutz

Die letzten 3 Beiträge
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.
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
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ß