Use natural deduction to prove that the following argument is valid.

Use natural deduction to prove that the following argument is valid.

¬(¬A & B), ¬(¬B ∨ C) ⊢ A