Die Beweise werden im "Einstieg in die formale Logik" wie folgt dargestellt: In der ersten Spalte werden die Annahmen durchnummeriert. Werden Regeln auf bereits vorkommende Zeilen angewendet, wird angegeben, auf welchen Annahmen die neue Zeile ruht. In der zweiten Spalte steht das abgeleitete Schema. In der dritten Spalte steht eine Abkürzung der Regel, die verwendet wurde, um das entsprechende Schema in der zweiten Spalte abzuleiten. In der vierten Spalte werden die Zeilen des Beweises durchnummeriert. Anschliessend an die Nummerierung (n) wird angegeben, welche Zeilen für die Herleitung der n-ten Zeile verwendet wurden. Die Zeilennummern müssen mit den Zahlen der ersten Spalte natürlich nicht übereinstimmen. Für eine pdf-Original-Version siehe Darstellung von Beweisen.pdf
|