The following statement
\[\left( {p \to q} \right) \to \left[ {\left( { \sim p \to q} \right) \to q} \right]\] is :
Solutions · 1
Official solution
We have
p
q
~p
p\[\to\]q
~p\[\to\]q
(~p\[\to\]q) (\to\]q
(p\[\to\]q) (\to((~p\[\to\]q) (\to\]q)
T
F
F
F
T
F
T
T
T
F
T
T
T
T
F
F
T
T
F
T
T
F
T
T
T
T
T
T
\[ \therefore \] It is tautology.