Laat , en propositievariabelen zijn.
Is de samengestelde propositie dan een geldig gevolg van de samengestelde propositie ?