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.