The statement pattern $[p \rightarrow(q \rightarrow p)] \rightarrow[p \rightarrow(p \vee q)]$ is
The statement pattern $[p \rightarrow(q \rightarrow p)] \rightarrow[p \rightarrow(p \vee q)]$ is
A tautology
A contradiction
A contingency
Equivalent to $p \leftrightarrow q$
Solution
$p \rightarrow(q \rightarrow p)$ is a tautology
$p \rightarrow(p \vee q)$ is a tautology
Hence, $[p \rightarrow(q \rightarrow p)] \rightarrow[p \rightarrow(p \vee q)]$ is a tautology