Prooftools. Dieses Projekt bietet eine kostenlose und plattformübergreifende Anwendung zum Erzeugen von Beweisbäumen
Jetzt downloaden

Prooftools. Ranking & Zusammenfassung

Prooftools. Stichworte

Prooftools. Beschreibung

Prooftools ist eine kostenlose grafische Anwendung, die sowohl in GTK + als auch auf Qt geschrieben ist, und für die automatische und grafische Erzeugung von semantischen Tableaux, auch als Beweisbäume, analytische Tableaux oder semantische Bäume verwendet wird. Die Anwendung kann verwendet werden, um zu testen, ob ein Argument oder ein Beweis deduktiv gültig ist oder ob eine Formel eine logische Wahrheit ist. Prooftools kann ein Ausschnitt, ein Prädikat und ein modales Logikargument oder eine logische Wahrheit mit der Proof-Tree-Methode überprüfen. Prooftools ist eine plattformunabhängige Anwendung, die Linux, Microsoft Windows- und Mac OS X-Betriebssysteme unterstützt. Binärdateien für GTK und QT finden Sie im Download-Bereich oben und unterstützt sowohl 32-Bit- als auch 64-Bit-Architekturen.

Prooftools. Zugehörige Software