Noodzakelijke en voldoende voorwaarde
Uit Wikipedia, de vrije encyclopedia
Noodzakelijke en voldoende voorwaarden zijn implicatieve verbanden tussen beweringen. 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.