Notwendige Bedingung und
hinreichende Bedingung sind Begriffe aus der Theorie wissenschaftlicher
Erklärungen, die
Bedingungen in zwei verschiedene Typen unterteilen. Die unterschiedlichen Beziehungen zwischen Bedingendem und Bedingtem werden auch in der Logik, vor allem in der
Aussagenlogik behandelt.