4Implikation und Implikationspfeil

Ein anderes Wort für "Folge", dass du wahrscheinlich im Alltag noch nicht so häufig gehört hast, ist Implikation.

Statt "Aus A folgt B" kann man auch sagen "A impliziert B".

Da die meisten Mathematiker sehr schreibfaul sind, haben sie sich für diese häufige Beziehung auch ein extra Symbol einfallen lassen: Den Implikationspfeil $\Rightarrow$

Für das Schlitten-Beispiel bedeutet das:

Schnee impliziert Fröhlichkeit, oder kurz: Schnee $\Rightarrow$ Fröhlichkeit

Gilt eine Implikation nicht, so kann man den Pfeil einfach durchstreichen: