Laat \(p\), \(q\) en \(r\) propositievariabelen zijn.
Is de samengestelde propositie \(p\land (q\lor r)\) dan een geldig gevolg van de samengestelde propositie \((p\land q)\lor r\)?
Modellen en geldig gevolg 