Notwendige Bedingung
Bei einer ->Implikation, "wenn A, dann B" oder "aus A folgt B", ist B die für A notwendige Bedingung. Ist sie falsch, so ist auch A falsch.
Beispiel:
Hat f an der Stelle a einen Hochpunkt, so gilt: \(f^prime(a)=0\).
\(f^prime(a)=0\) ist die notwendige Bedingung für die Existenz eines Hochpunkts. Sie ist nicht hinreichend, denn f muss keinen Hochpunkt haben, wenn \(f^prime(a)=0\) gilt.