Son frases que se utilizan para denotar el cuantificador universal negativo,
y que hacen referencia a todos los posibles casos que no puedan existir. Las frases que comúnmente se usan para denotar el cuantificador universal negativo son: Para ningún x Ninguno No nadie nada Si por ejemplo se desea representar la expresión: “ningún empleado público es menor de edad”, en este caso “ningún empleado público” hace referencia a todo un universo de todos los empleados y el predicado es “es menor de edad” y por lo tanto se usa para expresar una negación. La anterior expresión se puede modificar de la siguiente manera: Para todo y, si y es empleado público, entonces y no es menor de edad. ∀x (Ex → ¬Mx)
Ejemplo 1: nadie quiere comer ensalada de cebolla.
∀x (¬comer(x)) Ejemplo 2: para ningún estudiante es apropiado el desorden o la indisciplina. ∀x (estudiante(x) → desorden (x) v indisciplina (x))