Basiswissen

• A ist eine hinreichende Bedingung für B.
  

• B ist eine notwendige Bedingung für A.
  

Wahrheitstabelle

• Wenn A falsch ist und B falsch ist, dann gilt: Aus A folgt B.
  

• Wenn A falsch ist und B wahr ist, dann gilt: Aus A folgt B.
  

• Wenn A wahr ist und B falsch ist, dann gilt: Aus A folgt B nicht.
  

• Wenn A wahr ist und B wahr ist dann gilt: Aus A folgt B.
  

Umgangssprachlich:

• Aus Falschem folgt alles.
  

• Aus Wahrem folgt nur Wahres.
  

Zeichen

• ∴ ↗
  

• ⇒ ↗
  

Sonstiges

• A nennt man die Prämisse.
  

• B nennt man die Konklusion.