General Theory
-A $\textbf{ IP }$

Short Answer

General Theory
-a. Use $\textbf{ IP }$ to prove that the following argument is valid.
b. To illustrate how indirect proofs are a kind of shortened conditional proof, cross out the last line in the above proof and complete it as a conditional proof. (Hint: as an intermediate step prove .)