Todas las declaraciones discutidas en las secciones anteriores eran del tipo “completamente inequívoco”; es decir, no tenían incógnitas en ellas. Es cierto que hemos utilizado variables para referirno...Todas las declaraciones discutidas en las secciones anteriores eran del tipo “completamente inequívoco”; es decir, no tenían incógnitas en ellas. Es cierto que hemos utilizado variables para referirnos a oraciones (o fragmentos de oraciones) ellas mismas, pero hemos dicho que las oraciones que tenían variables en ellas eran ambiguas y ni siquiera merecían ser llamadas declaraciones lógicas. La noción de cuantificación nos permite utilizar el poder de las variables dentro de una oración sin intro
