Question Number 178389 by cortano1 last updated on 16/Oct/22
$$\:\:\:\:\:\:\:\:\:\:\:\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