Lenguaje más formal y expresivoSe utiliza los enunciados "Todo" y "Alguno"
La cuantificación consiste en utilizar ciertas partículas lógicas para referirse a cantidades de individuos de un cierto grupo.