Cálculo de Predicados Usado por:Teoría de la Cuantificación Término genérico:Lógica Matemática Microtesauro:Matemáticas