Solve using Natural Deduction Logic (w/rules would be appreciated) 1) ¬(A ∧ B) ⊢ ¬A ∨ ¬B (2) A → B) → A ⊢ A

I need help with this question please!

Show that A-→ B, C→ D, (B v D)→ E,-E -(A v C) is a valid argument form.

3. Is the statement ~(p V q) the logical equivalent of p →q ? Use a truth table to demonstrate your answer. Skip no Columns. Evaluate the truth value of the statements. Justify your answer. a) ax[(x < 0) → (3x² < 0)] b) Vx[(x – 62 2) V (x < 1)] Write an equivalent statement in terms of or "OR" or "AND" for r → s without using the → symbol.