Propositional Logic: Logical consequence and consistency
Models and valid consequence
Let \(p\), \(q\) and \(r\) be propositional variables.
Is the compound proposition \((p\rightarrow q) \rightarrow q\) then a valid consequence of the compound proposition \(p\rightarrow(q\rightarrow r)\)?
Unlock full access
