Propositielogica: Geldig gevolg en consistentie
Modellen en geldig gevolg
Laat \(p\), \(q\) en \(r\) propositievariabelen zijn.
Is de samengestelde propositie \((p\rightarrow q) \rightarrow q\) dan een geldig gevolg van de samengestelde propositie \(p\rightarrow(q\rightarrow r)\)?
Ontgrendel volledige toegang