Noodzakelijke en
voldoende voorwaarde zijn termen uit de
wetenschap,
logica,
argumentatieleer en
rechtspraak. Ze worden gebruikt bij
'als A, dan B'-gevolgtrekkingen.
A kan de voorwaarde of oorzaak zijn, en
B het gevolg of effect, maar meer algemeen zijn het beide proposities waarbij het waar zijn van de een iets zegt over het waar zijn van de andere.