Logikübergang

Beweisbauer · Peirce

Bereit. Mehrere Prämissen können als ein gemeinsamer Graph eingegeben werden.

Ableitung

0 Zeilen

Das Blatt ist noch leer.
Beginne mit einer Prämisse oder einem Doppelschnitt.

⊢

Graphische Ansicht

Leeres Blatt

Ein geschlossener Rahmen ist ein Schnitt (Negation). Nebeneinander stehende Graphen bilden eine Konjunktion.

Notation, Regeln und ein Beispiel

Weitere Peirce-Beispiele

Jeder Buchstabe ist eine eigene Aussage; Kleinbuchstaben werden in Großbuchstaben umgewandelt. Leerzeichen spielen keine Rolle. () oder (-) ist ein leerer Schnitt; (()) ist ein Doppelschnitt um das leere Blatt.

Eine Prämisse darf nur in der ersten Zeile stehen. Wähle eine beliebige vorhandene Zeile als Ausgangspunkt. Ein Doppelklick übernimmt ihren Graphen ins Eingabefeld. Ohne Prämisse beginnt ein Beweis mit R5, etwa mit (()). Jede neue Zeile wird auf die ausgewählte Regel geprüft; mehrere Anwendungen derselben Regel pro Schritt sind erlaubt.

Beispiel Modus ponens: P(P(Q)) als Prämisse → P((Q)) mit R4 → PQ mit R5 → Q mit R1.

Die Sprachwahl ändert die Sprache direkt in dieser Seite. Beweis, ausgewählte Ausgangszeile und Eingabetext bleiben erhalten. Zum Aufbewahren die Druckansicht für eine PDF- oder Textkopie verwenden. Beim Neuladen oder Werkzeugwechsel geht die Ableitung verloren.