9.

Use a direct proof to show that the following argument is valid.

Need to add the lines to finish the proof. The first box should be the proof, second two boxes should reference the line numbers, the last box should say which rule we are using. Thank you in advance!!

3 VCheck DeMorgan's Rule DM Commutativity Com Modus Ponens MP Modus Tollens MT Hypothetical Syllogism HS Associativity Assoc Disjunctive Syllogism DS Distribution Dist Constructive Dilemma CD Double Negation DN Simplification Simp Conjunction Conj Addition Add Add Line X Delete Line Check Proof