Para\(\mathcal{A}\) que ∀x sea un w,\(\mathcal{A}\) debe contener la variable x y no debe contener ya un cuantificador x. ∀xDW no contará como un wporque 'x' no ocurre en Dw, y ∀xxDx no contará como u...Para\(\mathcal{A}\) que ∀x sea un w,\(\mathcal{A}\) debe contener la variable x y no debe contener ya un cuantificador x. ∀xDW no contará como un wporque 'x' no ocurre en Dw, y ∀xxDx no contará como un wporque xDx contiene un cuantificador x Si\(\mathcal{A}\) es un w,\(\mathcal{x}\) es una variable,\(\mathcal{A}\) contiene al menos una ocurrencia de\(\mathcal{x}\), y no\(\mathcal{A}\) contiene\(\mathcal{x}\) -cuantificadores, entonces ∀\(\mathcal{x}\)\(\mathcal{A}\) es un w.