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