Sehen wir uns einen Induktionsder etwabeweis an etwa den des Satzes daß keine Zahl die größer als 1 ist mit 3 multipliziert 5 ergibt
        3 × 2 = 5 + 1
3 × a = (5 + b)
3 × (a + 1) = (5 + (b + 3)
3 × (a + 1) = (3 × a) + 3 = (5 + b) + 3 = 5 + (b + 3)
Was läßt sich nun in diesem Beweis verneinen & durch welche
Modification
Verneinung
wird das Gegenteil bewiesen? Offenbar nur durch die
Modification
Verneinung
des ersten Satzes[?|.]

Wurde also in einem Satz ein Rechenfehler gemacht so kann das das Gegenteil des durch Richtigstellung dieses Fehlers das Gegenteil von dem bewiesen werden was hätte bewiesen werden sollen.
  Dagegen kann kein Rechenfehler in der Zweiten Gleichung den Satz zum Beweis Beweis ins Gegenteil
verkehren. (Gesetz des ausgeschl. Dritten)