Tag: first-order-logic

First-order logic ist eine formale logische system der Mathematik, Philosophie, Linguistik und informatik.

Prädikat vs-Funktionen in Erster Ordnung Logik

Anzahl der Antworten 5 Antworten
Ich war so verwirrt in letzter Zeit bezüglich Unterschied zwischen Prädikat und Funktion in Erster Ordnung Logik. Mein Verständnis bisher ist, Prädikat ist zu zeigen, ein Vergleich oder zeigt eine Beziehung zwischen zwei Objekten, wie President(Obama, America)

Fitch-Format Beweise - keine automatische Löser herum?

Anzahl der Antworten 3 Antworten
Gibt es eine software um, die mit dem Fitch-format (verwendet in Sprache, Beweis und Logik), erlaubt es, die stellen einen bestimmten Satz von Prämissen und Ziele und haben es uns zu zeigen, die vollständige Liste von Schritten