Please enable JavaScript.
Coggle requires JavaScript to display documents.
CUANTIFICADORES - Coggle Diagram
CUANTIFICADORES
Cuantificador universal
Ejemplos de uso
(∀x) ( P(x) → Q(x) )
Para toda x, todas las P son Q
(∀x)( P(x) → ¬Q(x) )
Para toda x, las P no son Q
(∀x) P(x)
Para todas las x, x es P
-
-
Significado
El cuantificador universal fue desarrollado en 1879 por Frege, en el esfuerzo de transformar en lenguaje matemático proposiciones lógicas aristotélicas que poseían adjetivos como "todos" en un lenguaje práctico. Aunque el concepto de cuantificador universal se debe por lo tanto a Frege, fueron Peirce y Peano quienes inventaron el símbolo ∀ utilizado hoy en día usa con el significado de para todos, cada uno y para cualquiera cualquiera. (Pierce, 2007).
-
-