DevoirDire von Jason

DevoirDire ist ein Werkzeug zum Verfassen, Prüfen und Verwalten formaler Logikdokumente. Es reduziert Mehrdeutigkeit überall dort, wo Regeln, Pflichten und Anforderungen präzise formuliert werden müssen: Recht und Politik, Verträge, Normen und Spezifikationen oder Logikunterricht.

Verfassen Sie Formeln mit Prädikatenlogik, Quantoren, Gleichheit sowie deontischen (Gebot/Erlaubnis/Verbot) und temporalen (Immer/Irgendwann/Bis) Operatoren, Knoten für Knoten mit einem geführten Formel-Builder aufgebaut - kein manuelles JSON-Schreiben oder Erlernen einer Textsyntax nötig.

Prüfen Sie Ihr Dokument auf drei Arten:

• Konsistenz: Sind diese Formeln gleichzeitig erfüllbar?
• Gültigkeit: Folgt eine gewählte Schlussfolgerung aus den übrigen?
• Fundiertheit: Ist dieses Argument gültig und durch eine mitgelieferte oder eine von Ihnen verbundene externe Faktenbasis gestützt?

Deontisches und temporales Schließen ist pro Prüfung optional, ausgewertet über eine konfigurierbare, begrenzte Menge möglicher Welten - jede Einschränkung und Grenze wird in den Ergebnissen klar offengelegt, nie verschwiegen.

Verwalten Sie Dokumente lokal: importieren, exportieren, erstellen, bearbeiten, umstrukturieren und datierte Revisionen speichern, alles auf Ihrem Gerät gespeichert. Nichts verlässt Ihr Gerät, es sei denn, Sie aktivieren eine von zwei optionalen Funktionen, beide standardmäßig aus: gemeinsames Bearbeiten oder eine externe Faktenquelle.

Gemeinsam bearbeiten (optional): Hosten Sie ein Dokument und laden Sie andere über eine direkte Browser-zu-Browser-Verbindung ein, ohne Server dazwischen. Alle bestätigen zuerst eine Sicherheitsnummer, Sie bestimmen, wer bearbeiten darf, und jede Änderung wird als Revision festgehalten.

Der Lehrmodus stellt automatisch bewertete Übungen, bei denen Studierende Formelantworten beurteilen oder erstellen, mit derselben Prüf-Engine wie der Haupteditor. Nach der letzten Aufgabe der Liste stellt er weiter frisch erzeugte Aufgaben, mit Fortschritt je Aufgabentyp.

Tastatur und Controller: Alles ist mit der Tastatur erreichbar, und Einzeltasten-Kürzel für den Lernmodus, die Dokumentenliste und den Editor lassen sich neu belegen oder abschalten (mit ? werden sie aufgelistet). Die Controller-Unterstützung ist optional, bleibt aus, bis Sie sie in den Einstellungen einschalten, und wurde bisher nur mit einem simulierten Controller ausprobiert.

Verfügbar auf Englisch (Kanada), Französisch (Kanada), Deutsch, Italienisch und Japanisch.