Noodzakelijke en voldoende voorwaarde: verschil tussen versies

'''Noodzakelijke''' en '''voldoende voorwaarden''' zijn [[Logische implicatie|implicatieve verbanden]] tussen [[Propositie|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.

* 'Alleen als de student hard studeert, kan hijdeze het tentamen halen.'

Hier kan de student het tentamen in elk geval niet halen, als hijdeze niet hard studeert. Maar er zijn wellicht nog andere noodzakelijke voorwaarden, zoals dat hij zich ook goed moet concentreren tijdens het tentamen een belangrijke rol speelt. Hier is te zien dat de combinatie van woorden ''alleen als... , kan ...'' een aanwijzing is, dat het een noodzakelijke voorwaarde betreft.

In de [[logica (wetenschap)|logica]] staat dit gelijk aan: ''als niet p, dan niet q'', en ook aan: ''als q, dan p''.

* 'Als het vloed wordt, stijgt het water aan de kust.'

In de logica staat dit gelijk aan ''als p, dan q'' wat een [[implicatie|(materiële) implicatie]] genoemd wordt.

* 'Als je een volwassen, toerekeningsvatbare Nederlander bent, mag je voor de Tweede Kamer stemmen bij verkiezingen.'

In de logica staat dit gelijk aan ''als en alleen als p, dan q'' wat [[Dan en slechts dan als|equivalentie]] genoemd wordt.

De [[bijzin]] ''als A'' is dan de [[conditioneel|conditionele]] bijzin, ook wel ''protasis'', antecedent of [[premisse (logica)|premisse]] genoemd. De [[hoofdzin]] ''dan B'' is het gevolg, ook wel ''apodosis'', consequent of conclusie genoemd.