Para todo

Expresión lógica que indica que una afirmación es válida para cualquier valor de una variable. Se representa con el símbolo ∀.

Fuente:

Kleene, S. C. (2009). Introducción a la lógica matemática. McGraw-Hill.