cuantificadores lógicos

Sustantivo
  1. Símbolos que expresan la cantidad de elementos en una proposición lógica, como 'todo', 'algún'.
    Los cuantificadores lógicos se usan en lógica matemática para definir proposiciones.