Los símbolos utilizados para escribir proposiciones de forma “compacta” se denominan Cuantificadores Lógicos. Representan todas y sólo expresiones que te permiten formular una oración que tiene un valor universal, es decir, independiente de la situación y la perspectiva.