provide a formal proof showing the argument is valid, or an assignments of truth values that shows the argument is invalid.

c. The argument is O (valid) O invalid (circle one): 1. (n V p) ~m 04 (q^~n) 3. ~(mVq) 4. ~p+() 5. ~m~nVa) 2. :: (pVq) +~0 If you stated the argument is invalid, provide an invalidating truth assignment here: m = n = 0= p= 9= If you stated the argument is valid, provide a proof here (you can delete the rows you don't need): inference rule 6. 7 8. 9. 10 11. 12. 13. 14. 15. 16. 17. 18. 19. 20