2 Suchergebnisse

Aussagen können negiert oder durch aussagenlogische Operationen (Konjunktion, Disjunktion, Alternative, Implikation, Äquivalenz) miteinander verknüpft werden.
Der Wahrheitswert einer negierten oder zusammengesetzten Aussage hängt dabei ausschließlich vom Wahrheitswert der Ausgangsaussage bzw. der verknüpften Teilaussagen ab.

Die Struktur des indirekten Beweises besteht darin, dass aus der Voraussetzung, bereits bekannten Tatsachen (Definitionen und Sätzen) und dem Gegenteil der Behauptung mithilfe einer endlichen Anzahl gültiger Schlussregeln ein Widerspruch zur Voraussetzung, zu bereits bekannten Tatsachen oder zum Gegenteil der Behauptung erzeugt wird.