Menu Close

show-that-p-p-q-q-is-tautology-




Question Number 178389 by cortano1 last updated on 16/Oct/22
           show that              p⇒((p⇒q)⇒q)               is tautology
$$\:\:\:\:\:\:\:\:\:\:\:\mathrm{show}\:\mathrm{that}\: \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\mathrm{p}\Rightarrow\left(\left(\mathrm{p}\Rightarrow\mathrm{q}\right)\Rightarrow\mathrm{q}\right)\: \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:\mathrm{is}\:\mathrm{tautology}\: \\ $$
Answered by Spillover last updated on 16/Oct/22

Leave a Reply

Your email address will not be published. Required fields are marked *