Lógica que trata del cálculo o la deducción mediante cuantores o cuantificadores, esto es, símbolos formales con que se caracteriza a los enunciados universales (generalizador) o particulares (particularizador). También se llama lógica de predicados, o de términos.