Notwendige und hinreichende Bedingung

Notwendige Bedingung und hinreichende Bedingung sind Begriffe aus der mathematischen Beweisführung, welche Bedingungen in zwei verschiedene Typen unterteilt. Die unterschiedlichen Beziehungen zwischen Bedingendem und Bedingtem werden in der Logik, vor allem in der Aussagenlogik, behandelt.

Hinreichende Bedingung

Heu zu fressen, stillt den Hunger des Hamsters hinreichend. Doch ist Heu für seine Sättigung nicht notwendig, denn die kann auch anders erreicht werden (etwa durch Karotten).

Die Gültigkeit einer hinreichenden Bedingung $B$ sorgt zwangsläufig für die Gültigkeit der Konsequenz $K$. Dieser Zusammenhang wird durch die symbolische Schreibweise $B\Rightarrow K$ ausgedrückt, sprich „die Bedingung $B$ impliziert die Konsequenz $K$“ oder „aus $B$ folgt $K$“. Der Pfeil, der den Zusammenhang symbolisiert, steht für die Schlussfolgerung (Implikation). Es kann andere hinreichende Bedingungen geben, die ebenfalls die Gültigkeit der Aussage $K$ nach sich ziehen.

Aussagenlogisch betrachtet: Hat eine Aussage $K$ mehrere hinreichende Bedingungen $B_{1},B_{2},\dotsc$, d. h. gelten die Subjunktionen Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle B_{1}\Rightarrow K,B_{2}\Rightarrow K,\dotsc } , so genügt es, dass mindestens eine erfüllt ist (logische Disjunktion), damit $K$ gilt: $B_{1}\lor B_{2}\lor \dotsb \Rightarrow K$. Für eine hinreichende Bedingung gilt mit anderen Worten: Durch sie geht es (daher auch der Fachausdruck Conditio per quam).

Notwendige Bedingung

Gemahlene Bohnen sind eine notwendige Bedingung, um Kaffee zu kochen – ohne sie geht es nicht. Aber sie sind nicht hinreichend, da man zum Kochen auch Wasser benötigt.

Die Aussage $B$ ist eine notwendige Bedingung für die Aussage $K$, wenn sie zwingend wahr (erfüllt) sein muss, wenn $K$ wahr ist. Der Zusammenhang wird durch die symbolische Schreibweise $K\Rightarrow B$ ausgedrückt. Gibt es mehrere notwendige Bedingungen $B_{1},B_{2},\dotsc$ für eine Aussage Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K} , d. h. gilt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K\Rightarrow B_1, K\Rightarrow B_2, \dotsc} , so müssen alle gleichzeitig erfüllt sein, wenn Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K} erfüllt ist. Also gilt dann auch Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K \Rightarrow B_1 \land B_2 \land \dotsb} (logische Konjunktion).

Gibt es verschiedene, voneinander logisch unabhängige, notwendige Bedingungen, sodass für alle Paare von Bedingungen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \lnot(B_j \Rightarrow B_k)} mit $j\neq k$ gilt, so kann keine für sich allein hinreichend sein, da dies dem widerspräche, dass die anderen notwendig sind. Eine notwendige Bedingung ist also unersetzlich für das Eintreten eines Ereignisses. Wenn sie aber nicht zugleich hinreichend ist, genügt sie allein nicht, damit das Ereignis eintritt. Mit anderen Worten: Ohne sie geht es nicht (daher auch der Ausdruck lateinisch condicio sine qua non, siehe auch Conditio-sine-qua-non-Formel), für das Eintreten von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K} ist aber eventuell noch etwas anderes nötig.

Äquivalente Aussagen

Falls eine Aussage Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle B} sowohl eine hinreichende als auch eine notwendige Bedingung für die Aussage Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K} ist, d. h. $B$ impliziert Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K} impliziert Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle B} , werden die Aussagen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle B} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K} äquivalent genannt. Aussagenlogisch ist dafür das Kürzel iff – engl. if and only if üblich; deutschsprachige Entsprechungen sind g. d. w., abgekürzt für genau dann, wenn und dann und nur dann. Dass die Notwendigkeit von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle B} auch durch die Implikation Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle B \Leftarrow K} ausgedrückt werden kann, erklärt die symbolische Darstellung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle B \Leftrightarrow K} für die Äquivalenz von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle B} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K} .

INUS-Bedingung

Die INUS-Bedingung des australischen Philosophen John Leslie Mackie stellt ein geschachteltes Konzept dar: Gemeint ist ein nicht hinreichender, aber notwendiger Teil einer nicht notwendigen, aber hinreichenden Bedingung. Dieses Konzept soll insbesondere der Erkenntnis gerecht werden, dass selten äquivalente Bedingungen für empirische Ereignisse ausgemacht werden können, selbst unter ceteris-paribus-Klauseln.

Weblinks

Wiktionary: notwendig – Bedeutungserklärungen, Wortherkunft, Synonyme, Übersetzungen

Wiktionary: hinreichend – Bedeutungserklärungen, Wortherkunft, Synonyme, Übersetzungen

• Necessary and Sufficient Conditions. Eintrag in Edward N. Zalta (Hrsg.): Stanford Encyclopedia of Philosophy.Vorlage:SEP/Wartung/Parameter 1 und weder Parameter 2 noch Parameter 3