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: .
ist die notwendige Bedingung für die Existenz eines Hochpunkts. Sie ist nicht hinreichend, denn f muss keinen Hochpunkt haben, wenn gilt.