Wir haben in den vorhergehenden Lernmodulen gesehen, dass wir mithilfe von Regeln und Gesetzen und mit Wahrheitstabellen Aussagen beweisen können. Es gibt mehrere Methoden, um zu zeigen, dass aus einer Aussage \(A\) eine Aussage \(B\) folgt, dass also \(A\implies B\) gilt bzw. dass \(A\) und \(B\) sogar äquivalent sind, dass also \(A \iff B\) gilt.

Wir werden die folgenden Beweisprinzipien vorstellen:

Diese Beweisprinzipien beruhen letztlich auf einer Anwendung von aussagen- und prädikatenlogischen Lehrsätzen, von denen wir bereits viele kennengelernt haben. Wir werden in den folgenden Kapiteln diese Beweisprinzipien näher erklären und Beispiele hierzu angeben.