∀x¬A(x)⊢¬∃xA(x) 1. Ax∼A(x):PR 2. A(a):AE1 3. ExA(x) | Chegg.com