Para dar las definiciones de verdad para fórmulas con la forma ∀"x" A o ∃"x" A, primero son necesarias algunas definiciones preliminares: Sea A("x/a") el resultado de reemplazar toda aparición de "x" en A por un nombre "a" (que no haya sido utilizado en la fórmula).