Question

PLEASE HELP... RULES OF REPLACEMENT FOR LOGIC

Complete the following natural deduction proof. The given numbered lines are the argument's premises, and the line beginning wit argument's conclusion. Derive the argument's conclusion in a series of new lines using the proof checker below. Click Add Line to a proof. Each new line must contain a propositional logic statement, the previous line number(s) from which the new statement follo abbreviation for the rule used. As long as every step is correct and you successfully obtain the argument's conclusion on its own lir correct. In some cases, there may be more than one correct path you can take to reach the conclusion. You can check each line as wait until your proof is completed to check the entire proof. If you make a mistake, click the line you would like to modify. Note: Y recheck subsequent lines if you make a change to an already-entered line. When you have completed your proof, click Check Proof Add Line (Use the dropdown menus below if you need help remembering the rules of inference that you have learned so far.) correct. In some cases, there may be more than one correct path you can take to reach the conclusion. You can check each line as you wait until your proof is completed to check the entire proof. If you make a mistake, click the line you would like to modify. Note: You m recheck subsequent lines if you make a change to an already-entered line. When you have completed your proof, click Check Proof. Add Line (Use the dropdown menus below if you need help remembering the rules of inference that you have learned so far.) Rules of implication:

Answer 1

Steps Reason Premise Premise 1. SvV 2, Assoc 1, Add 2,4, MP 5, DM 6, Simp 1,7, DS

Steps Reason Premise Premise Premise 1, DM 4, Simp 4, Simp 5, Add 2,7, MP 6, Add 3,9, MP 8, 10, HS 4. X~L 5. ~X 6. ~L 7. (-Xvz) 8. (R3U 9. (Lvz) 10.(UB)