Notwendige Bedingung:

Aussage 1 ist eine notwendige Bedingung für Aussage 2, wenn gilt:

aus Aussage 2 folgt Aussage 1.

Oder anders gesagt,

gilt Aussage 1 nicht, dann gilt auch Aussage 2 nicht.

Die mathematische Schreibweise dafür lautet

Aussage 2 => Aussage 1

Beispiel

Aussage 1 :

Die Eulerbedingung ist erfüllt.

Aussage 2 :

Es existiert ein gesuchter Weg.