Estamos muy limitados si sólo podemos usar , , , ... para traducir frases a lenguaje lógico. Los cuantificadores nos dejarán hacer muchas más cosas.