Ableiten

Zusammenfassung

In Kap. 1A und 1B haben wir aus den Aussagen von Anne, Emil, Fritz und Gustav und der des Passanten gefolgert, daß Fritz die Fensterscheibe eingeworfen hat. In Kap. 1D haben wir die Schlüsse, die wir bei dem Beweis und anderen benutzt hatten, gesammelt und einige von ihnen als Ableitungsregeln ausgezeichnet. Näher angesehen haben wir uns die Schnittregel für Gentzenformeln und Varianten davon. Wir haben Folgerungen zu Ableitungen formalisiert und haben vor allem gefragt, mit welchen Regeln man welche Arten von Beweisführungen formalisieren kann (Adäquatheit; Kap. 1D, Anhang). Dasselbe wollen wir in diesem Kapitel für die offene Prädikatenlogik tun. Erinnern wir uns an den Beginn von Kap. 2B.