Does ~∃(x) A(x) equal to ∀(x) ~A(x)?
The question is whether is equal to . The short answer is yes. More precisely, it depends on the definition of "equal". I would say that, since these are two different formulas, they are not equal but equivalent, meaning that they are true in the same interpretations, or that they are derivable from each other.