Entailment

Entailment

Bij entailment volgt een conclusie of impiciete stelling logisch uit wat eraan vooraf ging. Neem de volgende zin:

(1) Alle Minister-Presidenten van Nederland zijn kaal

Deze propositie veronderstelt:

(2) dat er (minstens) 1 Minister-President van Nederland is

en daaruit volgt op logische wijze (entailment):

(3) dat wie de Minister-President van Nederland is, ook kaal moet zijn.