Chapter 1.2, Problem 25E

To determine

(a)

Fill in the reasons following proof sequence

To determine

(b)

Explain why the proof in part $\left(a\right)$ is reversible.

To determine

(c)

Rewrite the tautology $p\wedge \left(q\to r\right)\Rightarrow q\to \left(p\wedge r\right)$, of the form $\begin{array}{l}A\\ B\end{array}\}\Rightarrow C$

To determine

(d)

Give a proof sequence for the rewritten tautology in part $\left(c\right)$.