[20] 3. A set of premises and a conclusion are given. Use the valid argument forms listed in Table 1 to deduce the conclusion from the premises, giving a reason for each step. Assume all variables are statement variables. (a) a. b. -p var SV - c. d. pt pr - 28 ma f. (b) a. b pvq 9 PA8 C. d. - U18 + f. Modus Ponens Elimination . PV b. P PVG Modus Tollens Transitivity P -- -P 4 P- Generalization hu PV pv Proof by Division inte Cases PV PF Specialization PA h PA Conjunction Contradiction Rule P 4 APN