Notwendigkeit
Notwendigkeit ist ein Begriff den die Mathematik, speziell die Aussagenlogik, der Alltagssprache entlehnt hat.Eine Aussage A ist eine notwendige Bedingung einer anderen Aussage B, wenn zwischen den beiden Aussagen die logische Beziehung "aus B folgt A" (kurz: B ⇒ A) besteht. Der Gegenbegriff ist hinreichend.