Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
¿Qué es?
No se ha añadido ninguna twiki todavía.
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.
Ver silogística.