In der Logik ist eine notwendige Bedingung definiert als: »A ist notwendig für B genau dann, wenn aus nicht-A nicht-B folgt«
siehe auch: hinreichend