Bedingung

Aus AnthroWiki
(Weitergeleitet von Notwendige Bedingung)

Eine Bedingung (spätlat. conditio, aus lat. condicio; eng. condition) im philosophischen, aussagenlogischen, mathematischen, wissenschaftlichen und rechtlichen Sinn ist eine zwingende Voraussetzung für den Eintritt eines bestimmten Ereignisses bzw. für das Bestehen einer bestimmten Tatsache oder eines Sachverhalts.

Es kann zwischen folgenden Arten von Bedingungen unterschieden werden:

  • Eine notwendige Bedingung , eine Conditio sine qua non (spätlat., von lat. condicio sine qua non, wörtlich: „Bedingung, ohne die nicht“), ist zwar zwingend erforderlich, damit ein bestimmter Sachverhalt ermöglicht wird, doch ist diese Bedingung nicht hinreichend dafür, das dieser auch tatsächlich eintreten muss. Man kann aber umgekehrt folgern: wenn tatsächlich vorliegt, muss auch erfüllt sein, d.h. aus Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} folgt im Rückschluss logisch zwingend (), d.h. impliziert . Gibt es für den Sachverhalt mehrere notwendige Bedingungen , so müssen alle im Sinn einer logischen Konjuktion erfüllt sein, damit eintritt ().
  • Eine hinreichende Bedingung hingegen sorgt zwingend dafür, dass ein bestimmter Sachverhalt Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} eintritt, d.h. aus folgt zwingend (Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle B \rightarrow A} ), d.h. Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle B} impliziert . Gibt es mehrere hinreichende Bedingungen, so reicht im Sinne einer logischen Disjunktion bereits eine dieser Bedingungen aus, damit eintritt ().
  • Eine äquivalente Bedingung ist eine zugleich notwendige und hinreichende Bedingung, d.h. genau dann bzw. dann und nur dann, wenn im Sinn eines logischen Bikonditionals erfüllt ist, ist auch gegeben bzw. umgekehrt (), d.h. und sind äquivalent.