Neu hier?
Wenn Sie neu beim Logikübergang sind, beginnen Sie am besten mit dem einfachen Wahrheitstafelrechner oder mit den zentralen Verarbeitungen.
Auf jeder Verarbeitungsseite gibt es zwei wichtige Links: Mit "Andere Funktionen" kehren Sie zu dieser Übersichtsseite zurück. Und der "Hilfe"-Link öffnet in einem neuen Fenster (oder Browser-Tab) eine ausführliche Dokumentation des jeweiligen Verarbeitungsprogramms
Der Betrieb des Logikrechners kostet derzeit ca. 113,88€ pro Jahr (Cloudserver 85,07€, Domänengebühr 28,80€), deshalb hier ein Paypal-Spendenlink.
Zentral
Die zentralen Verarbeitungen lösen wichtige Aufgaben der klassischen, zweiwertigen Aussagenlogik. Zum Beispiel zeigen sie Wahrheitstabellen (wahlweise mit Zwischenergebnissen), bilden Normalformen (z.B. KNF, DNF), vereinfachen Aussagen und zeigen andere Darstellungsformen einer Aussage (polnische Notation, Begriffsschriftnotation, Alphagraphen nach Peirce, Ausdrucksbaum).
Beweise prüfen
Der Beweisprüfer prüft aussagen- und prädikatenlogische Beweise, die Sie selbst geführt haben. Als kleiner Bruder des Beweisbauers im Lemmon-Stil arbeitet er Java-los, erfordert deshalb aber, dass Sie den zu prüfenden Beweis über die Tastatur eingeben. Die Syntax der Beweise ist angelehnt an den Kalkül des natürlichen Schließens, der in E. J. Lemmon's Buch Beginning Logic vorgestellt wird. Der Beweisprüfer wird nur dann für Sie von Interesse sein, wenn Sie bereits über Grundkenntnisse in diesem Kalkül verfügen.
Einfache Wahrheitstabellen
Der Wahrheitstafelrechner erzeugt die Tabellen direkt im Browser, funktioniert also auch offline - und die Regierung wird nie erfahren, mit welchen Aussagen Sie sich beschäftigen (sofern sie nicht direkt Ihren Computer hackt). Es handelt sich noch um kein fertiges Produkt, sondern um eine Technologiedemonstration für eine zukünftige Migration auf aktuellere Webtechnologien.
Beweise bauen
Die ursprünglich verfügbaren Programme zum interaktiven Herleiten in unterschiedlichen logischen Kalkülen (Lemmon-Stil, Fitch-Stil, Hilbert-Stil, Principia Mathematica und Alpha-Graphen nach Peirce) waren als Java-Applets realisiert und werden von aktuellen Browsern nicht mehr unterstützt (wenn Sie Fachfrau sind, könnten Sie die Applets noch mit einem z.B. in einer VM abgeschotteten alten Browserversion aufrufen), der Beweisbauer für Alpha-Graphen ist aber auch als downloadbare Anwendung verfügbar: Speichern Sie die Datei Peirce.jar auf Ihrem Computer und öffnen Sie sie per Doppelklick (damit das funktioniert, muss das kostenfreie Java z.B. von https://www.java.com/de/download/ auf Ihrem Gerät installiert sein).
Impressum
Der Logikübergang wurde von Christian Gottschall entwickelt.