Gleichungsbeweise in der Booleschen Logik finden
De Funktion FindEquationalProof kann einen Beweis für ein Theorem aus einer Reihe von Axiomen konstruieren, wenn sie alle in Gleichungsform ausgedrückt werden, d.h. Gleichheiten zwischen Formeln, die aus den Operatoren der Theorie aufgebaut sind.
Mit AxiomaticTheory erhalten Sie eine Sammlung von Axiomen für eine Theorie, zum Beispiel für Boolesche Logik. Sie können die Namen der beteiligten Operatoren und Konstanten angeben. Verknüpfte Variablen werden durch Symbole wie a, b, c dargestellt.
Erstellen Sie den Beweis einer Gleichung.
Veranschaulichen Sie den Beweis als Grafik, die den Fluss der Lemmata von den Axiomen (grüne Quadrate) bis zum Abschluss (rotes Quadrat) zeigt. Dreiecke und Kreise stellen verschiedene Arten von Lemmata dar.
Sie können Sie sich auch alle Details zu den Beweisschritten anzeigen lassen.
