1. ## a simple question about quantifier

Does ~∃(x) A(x) equal to ∀(x) ~A(x)?

2. Originally Posted by questionboy
Does ~∃(x) A(x) equal to ∀(x) ~A(x)?

In my screen the above appears as $\sim\square (x)A(x)$ ...try using LaTeX to make things clearer.

Tonio

3. The question is whether ${\sim}\exists (x)A\,(x)$ is equal to $\forall(x)\,{\sim} A(x)$. 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.