Mo Logo [Home] [Lexikon] [Aufgaben] [Tests] [Kurse] [Begleitmaterial] [Hinweise] [Mitwirkende] [Publikationen] Englische Flagge
Mathematik-Online-Kurs: Mathematische Grundlagen - Aussagenlogik

Direkter Beweis

[vorangehende Seite] [nachfolgende Seite] [Gesamtverzeichnis][Seitenübersicht]
Eine Behauptung $ B$ kann bewiesen werden, indem sie aus bekannten wahren Aussagen $ A$ hergeleitet oder auf solche zurückgeführt wird:

$\displaystyle A \Longrightarrow B \,. $

Die Aussagen $ A$ können dabei auch Voraussetzungen beinhalten, die für die Gültigkeit der Behauptung $ B$ notwendig sind.
[vorangehende Seite] [nachfolgende Seite] [Gesamtverzeichnis][Seitenübersicht]
  automatisch erstellt am 5.5.2011