Beweisbauer für Alpha-Graphen nach Peirce

Allgemeines - Hilfe zum Applet - Hilfe zu den Schlussregeln - Hilfe zur logischen Sprache - Wenige Beispiele - Andere Funktionen - Feedback

Aus Marktüberlegungen ist der Beweisbauer für Alpha-Graphen nach Peirce nur in englischer Sprache verfügbar.

Ihr Browser ist nicht Java-fähig. Leider sind Java-Applets seit mehreren Jahren veraltet und werden von modernen Browsern nicht mehr unterstützt. Ersatzweise können Sie eine Standalone-Version dieses Beweisbauers verwenden, die Sie in Gestalt der Datei Peirce.jar herunterladen können. Auf manchen Betriebssystemen lässt sich die heruntergeladene Datei Peirce.jar per Doppelklick starten, auf anderen müssen Sie in der Kommandozeile (ich weiß, ich weiß) den Befehl "java -jar Peirce.jar" eingeben. In beiden Fällen benötigen Sie eine lauffähige lokale Java-Installation, die - wenn nicht bereits vorhanden - unter https://www.java.com/de/download/ erhältlich ist.


© Christian Gottschall / christian.gottschall@posteo.de / 2021-10-24