Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Símbolos
alfabeto:
w, x, y, z…
del alfabeto:
a, b, c, d…
F, G, H, K…
Estas variables predicativas no son variables en el mismo grado que las variables
A, B, C, D…
2.5. Cuantificadores
(∀…) = Universal
(∃…) = Particular
Los símbolos “∀” y “∃” se llaman cuantores. En el espacio vacío que le sigue dentro del
primer orden], o bien variables predicativas como (∀F) y (∃F) [cuantificación de segundo
La lógica cuantificacional tratada aquí en nuestro curso es de primer orden, pues los
3. Simbolización de proposiciones
Carlos es panadero
a F
Carmen es profesional
b S
se simboliza respectivamente:
Fa: se lee “F de a”
Sb: se lee “S de b”