Please help!

Question is below: Write the following argument in symbolic form. Then establish the validity of the argument by providing a proof, or give a counterexample to show that it is invalid:

S: Premises tw The argument is valid iff is a tautology Conclusion 2 Modus Ponens: MPONJ p q Modus Tollens: [M.TOL] p q Specialization: [SPEC] Elimination: [ELIMI Proof by cases: [CASE Generalization: [GEN] Conjunction: [CONJ] Transitivity: [TRANS] Resolution: [RES p V q Commutative: [COM Associative: [ASS] Distributive: [DIST] Identity: [I) Negation: [NEG] Double Negation: DNEG] | ~(~p) p Idempotent: ID] Universal bound: [UB] De Morgan's: [DM] Absorption: [ABS] Negations of T and F: [NTF] | ~ T F ~F =T