HTTP-Fehler 404: Wenn Existenz ein Prädikat wäre, dann könnte man über das von Ihnen abgerufene Dokument aussagen, dass es nicht existiert (nähere Informationen in englischer Sprache).
Nach dem Umzug auf einen neuen Server wurde diese Webpräsenz umstrukturiert und inhaltlich überarbeitet, als Folge wessen einige alte Inhalte weggefallen sind.
Die wichtigsten aktuellen Inhalte sind:
- Logikübergang
(Online-Logiksoftware)
- Wunderschöne Wahrheitstabellen mit einem violetten Monster und einer hellsichtigen Ente
- Die serverseitigen Verarbeitungen lösen wichtige Aufgaben der klassischen, zweiwertigen Aussagenlogik. Sie zeigen ebenfalls Wahrheitstabellen (performanter, aber weniger schön), bilden Normalformen (z.B. KNF, DNF), vereinfachen Aussagen und zeigen andere Darstellungsformen einer Aussage (polnische Notation, Begriffsschriftnotation, Alphagraphen nach Peirce, Ausdrucksbaum) usw.
- Der Beweisprüfer prüft aussagen- und prädikatenlogische Beweise, die Sie selbst geführt haben. Die Syntax der Beweise ist angelehnt an den Kalkül des natürlichen Schließens, der in E. J. Lemmons Buch Beginning Logic vorgestellt wird.
- Logikskriptum
- persönliche Homepage
- Erpelstolz Wurmdosungen
Mit Fragen oder Fehlerberichten wenden Sie sich bitte an christian@erpelstolz.at.
Diese Fehlermeldung kostet derzeit 113,88€ pro Jahr. Mit einer Spende können Sie den Betrieb dieser Fehlermeldung für die Zukunft sichern oder sogar die Entwicklung neuer Fehler unterstützen.