Quantificador universal

En lògica matemàtica, es fa servir el símbol $\forall$ , anomenat quantificador universal, anteposat a una variable per dir que "per a tot" element d'un cert conjunt es compleix la proposició donada a continuació. El text es pot representar amb el caràcter ∀. Normalment, en lògica, el conjunt al qual es refereix és l'univers o domini de referència, en el qual apareixen totes les constants.^[1]