2.

Símbolos

Los símbolos que introduce la lógica de predicados son:

2.1. Variables individuales

Representan individuos indeterminados, se utilizan las ultimas letras minúsculas del

alfabeto:

w, x, y, z…

2.2. Constantes individuales

Representan a individuos determinados. Se utilizan las primeras letras minúsculas

del alfabeto:

a, b, c, d…

2.3. Variables predicativas

Significan predicados indeterminados. Se usan estas letras mayúsculas:

F, G, H, K…

2.4. Constantes predicativas

Estas variables predicativas no son variables en el mismo grado que las variables

individuales, pues en una función, la variable predicativa cumple el papel de constante.

Representan predicados determinados. Se usan estas letras mayúsculas:

A, B, C, D…

2.5. Cuantificadores

Sirven para generalizar a las funciones singulares. Pudiendo ser la generalización

universal o particular, los cuantificadores son de dos tipos:

(∀…) = Universal

(∃…) = Particular
 Los símbolos “∀” y “∃” se llaman cuantores. En el espacio vacío que le sigue dentro del

paréntesis se colocan o bien variables individuales como (∀x) y (∃x) [cuantificación de

primer orden], o bien variables predicativas como (∀F) y (∃F) [cuantificación de segundo

orden]. El conjunto cuantor y variable se llama cuantificador.

La lógica cuantificacional tratada aquí en nuestro curso es de primer orden, pues los

cuantificadores sólo contienen variables individuales; y es monódica pues solo considera

funciones de una sola variable individual.

3. Simbolización de proposiciones

Una proposición predicativa se simboliza funcionalmente invirtiendo el orden de

sus elementos. Así las 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”

Estas expresiones: Fa y Sb representas proposiciones pues sus argumentos están

simbolizados por constantes que significan individuos determinados de manera que se

pueden llamar verdaderas o falsas.