ESQUEMAS O FUNCIONES PROPOSICIONALES

Analicemos los siguientes enunciados:

El caballo es un cuadrúpedo
El perro es un cuadrúpedo
El gato es un cuadrúpedo
El gallo es un cuadrúpedo
Son proposiciones ya que podemos determinar su valor de verdad. Además, en todos
afirmamos que el animal en cuestión es un cuadrúpedo, es decir “ser cuadrúpedo” es
una propiedad en común. Podemos formularlo entonces diciendo “x es un
cuadrúpedo”, en donde x es una variable la cual indica que el animal que tiene la
propiedad de ser cuadrúpedo es indeterminado. Se representa como:
P(x): x es cuadrúpedo
Este enunciado no es una proposición ya que no podemos determinar su valor de
verdad, a no ser que reemplacemos el valor de x por algún animal. Utilizando esta
notación, los enunciados dados al comienzo son:
P(caballo): El caballo es un cuadrúpedo
P(perro): El perro es un cuadrúpedo
P(gato): El gato es un cuadrúpedo
P(gallo): El gallo es un cuadrúpedo
La variable no puede tomar cualquier valor, por ejemplo si reemplazamos la x por el
número 7, tendríamos “7 es un cuadrúpedo” lo cual no tiene sentido. Es necesario
entonces especificar el universo del cual toma valores la variable x para que el
enunciado tenga sentido. En este caso, x debe puede ser cualquier animal.
Veamos otro ejemplo. Sea la proposición "siete es mayor que dos" (en símbolos: 7 >
2) y reemplazamos al número 7 por la letra 𝑥, obtenemos la expresión " 𝑥 es mayor
que dos" (𝑥 > 2). En esta expresión 𝑥 no representa necesariamente al número 7, sino
a un número real cualquiera, entonces no es una proposición ya que no le puedo dar
un valor de verdad. Pero si reemplazamos 𝑥 por algún número real, entonces si tiene
valor de verdad y se ha convertido en proposición.

𝑸(𝒙): 𝒙 > 𝟐 donde 𝐱 ∈ ℝ Enunciado abierto, no es proposición

𝑄(7): 7 > 2 Proposición verdadera

1 1
𝑄 (2) : 2 > 2 Proposición falsa

Tanto P(x) como 𝑸(𝒙) son enunciados abiertos y se les denomina función o esquema
proposicional.
Antes de continuar, veamos algunas definiciones importantes:
  DOMINIO o UNIVERSO:
Es la colección de elementos que se van a considerar en un enunciado. Cada
elemento se denomina individuo. Los elementos pueden ser personas, datos,
objetos, ideas etc.

 VARIABLE O INDETERMINADA:
Son símbolos que representan individuos genéricos del Dominio. Se utilizan cuando
no se quiere hacer referencia a ninguno en particular. Suelen representarse por letras
minúsculas.

 FUNCIÓN O ESQUEMA PROPOSICIONAL:

Una función proposicional es un enunciado abierto de la forma 𝑃(𝑥) que se convierte
en proposición cuando se le asigna a la variable 𝑥 un valor específico de su Universo o
Dominio.
Ejemplo
Función o esquema proposicional: 𝑃(𝑥 ): 2𝑥 + 5 > 11
Si 𝑥 = 10, 𝑃(10): 25 > 11 es una proposición verdadera.
Si 𝑥 = −2, 𝑃(−2): 1 > 11 es una proposición falsa
Las funciones proposicionales pueden negarse, combinarse entre si mediante
conectivos lógicos o combinarse con otras proposiciones (en este caso sigue siendo
una función proposicional ya que uno de sus componentes lo es).

 RAIZ:
Valor de la variable que hace verdadero un esquema proposicional. Hay funciones
proposicionales que tienen infinitas raíces por ejemplo: 𝑃(𝑥 ): 2𝑥 + 5 > 11, otras que
tienen una única raíz como 𝑅(𝑥): 2𝑥 + 1 = 5 y funciones proposicionales que no
tienen raíces 𝑆(𝑥): 𝑥 ≠ 𝑥

Ejemplos
Consideremos como Universo o Dominio al conjunto de “todos los animales”
Algunos individuos de este universo son: perro, gato, araña, mosquito, etc.
1) Función proposicional: P(x): x es un mamífero
Dado que perro y ballena hacen que la función sea una proposición verdadera, son
raíces de la función. No son las únicas.
2) Función proposicional: F(x): x es un mamífero y es cuadrúpedo
En este caso tenemos una función proposicional formada por la conjunción de dos
funciones proposicionales, P(x): x es un mamífero y Q(x): x es un cuadrúpedo.
En este caso, perro es raíz de la función pero ballena no.
3) Función proposicional: x es un mamífero o los pájaros vuelan.
Esta es una función proposicional compuesta por la disyunción entre una función
proposicional, P(x): x es un mamífero, y una proposición, r: los pájaros vuelan.
Esta función tiene por raíces, por ejemplo, a perro y ballena.

CUANTIFICADORES
A partir de funciones proposicionales es posible obtener proposiciones mediante un
proceso llamado cuantificación. Existen dos cuantificadores:

1. Cuantificador Universal:
Su símbolo es ∀ y se lee “para todo”. Indica que cierto enunciado se verifica para
todos los valores posibles de una variable con respecto al universo o dominio en
cuestión.
En forma general se simboliza
∀𝒙 ∈ 𝑫: 𝑷(𝒙)
y se lee “para todo 𝑥 perteneciente al dominio D se verifica la función proposicional
𝑃(𝑥)”. Se dice entonces que la función proposicional 𝑃(𝑥) está cuantificada
universalmente.
Una función proposicional cuantificada universalmente es verdadera si y sólo si la
función proposicional es verdadera para todos los elementos del dominio. Es decir, si
son verdaderas todas las proposiciones particulares asociadas a ella.
Nota: Decimos que 𝑃(𝑥) es universalmente verdadera si el valor de verdad de 𝑃(𝑥) es
VERDADERO para cada reemplazo de 𝑥 que hagamos, siempre y cuando 𝑥 este dentro
del universo para el cual se enunció 𝑃 (𝑥 ).
Ejemplo 1
Sea 𝑄(𝑥): (𝑥 > 5 ∨ 𝑥 ≤ 5). Entonces 𝑄(𝑥) es universalmente verdadera para
cualquier número real.
Ejemplo 2
∀𝑥 ∈ ℝ: 𝑥 > 5 es una proposición falsa.

2. Cuantificador Existencial
Su símbolo es ∃ y se lee “existe algún”. Indica que cierto enunciado se verifica para al
menos uno de los valores posibles de una variable con respecto al universo o
dominio en cuestión.
En forma general se simboliza
∃𝒙 ∈ 𝑫 / 𝑷(𝒙)

y se lee “existe un 𝑥 perteneciente al dominio D tal que se verifica la función

proposicional 𝑃(𝑥)”. Se dice entonces que la función proposicional 𝑃(𝑥) está
cuantificada existencialmente.
 Una función proposicional cuantificada existencialmente es verdadera si y sólo si la
función proposicional es verdadera para algún elemento del dominio. Es decir, si es
verdadera al menos una de las proposiciones particulares asociadas a ella.

ALCANCE DE UN CUANTIFICADOR
∃𝒙 ∈ ℝ / 𝒙 es par ∧ 𝒙 es divisible por 8
Este enunciado no es una proposición ya que el cuantificador existencial solo afecta a
“x es par”. Por lo tanto, tenemos una función proposicional formado por la conjunción
de una proposición (función cuantificada: ∃𝑥 ∈ ℝ / 𝑥 es par) y una función
proposicional (𝑥 es divisible por 8). En cambio,
∃𝒙 ∈ ℝ / (𝒙 es par ∧ 𝒙 es divisible por 𝟖)
es una proposición ya que es una función proposicional cuantificada. Es verdadera ya
que existe el número real 16 el cual es par y divisible por 8. Con encontrar un valor de x
para el cual se verifique la función, es suficiente para afirmar que es verdadera.
NOTA: Un cuantificador u operador alcanza o afecta al esquema proposicional más
simple que se encuentra inmediatamente a su derecha.

NEGACIÓN DE LOS CUANTIFICADORES

En numerosas ocasiones se necesita negar un esquema proposicional cuantificado. Por
ejemplo, si quisiéramos negar "Todos los enteros son impares", deberíamos decir que
"Existen enteros que NO son impares". Esto lo podemos escribir en forma lógica como:
−[∀𝒙 ∈ ℤ: 𝒙 𝒆𝒔 𝒊𝒎𝒑𝒂𝒓] ⟺ [∃𝒙 ∈ ℤ / 𝒙 𝒏𝒐 𝒆𝒔 𝒊𝒎𝒑𝒂𝒓]
Otras expresiones equivalentes son “No es cierto que todos los enteros son impares”,
o “Algunos enteros no son impares”.
Para negar una función proposicional cuantificada universalmente se cambia el
cuantificador universal por el cuantificador existencial, y se niega la función
proposicional que era alcanzada por el cuantificador universal:
−[∀𝒙 ∈ 𝑫: 𝑷(𝒙)] ⟺ ∃𝒙 ∈ 𝑫 / −𝑷(𝒙)
Veamos otro ejemplo,
Para todos los números se verifica que si es entero entonces su valor absoluto es
distinto de cero. En símbolos:
∀𝒙: [ 𝒙 ∈ ℤ ⟶ |𝒙| ≠ 𝟎]
Este enunciado es falso ya que si x = 0, el antecedente es verdadero y el consecuente
falso. Dado que encontramos un caso donde la proposición resultante es falsa,
entonces no se cumple para todo x. Su negación es
∃𝐱/−[ 𝐱 ∈ ℤ ⟶ |𝐱| ≠ 𝟎]
Aplicando equivalencia del condicional y la ley de De Morgan para la disyunción, es
equivalente a
∃𝒙/[ 𝒙 ∈ ℤ ∧ −(|𝒙| ≠ 𝟎)]
Por involución de la negación es equivalente a
 ∃𝒙/[ 𝒙 ∈ ℤ ∧ |𝒙| = 𝟎]
Es decir, existe algún número que es entero y su valor absoluto es igual a cero.

Nota: Podemos ver en este ejemplo que no especificamos el dominio al cual pertenece
x. Entonces debemos considerar como dominio al mayor universo posible. En este caso
el conjunto de los números reales.
Analicemos otro ejemplo, “Existen números enteros cuyo cuadrado es menor a cero”.
En símbolos,
∃x ∈ ℤ/x 2 < 0
Esta proposición es falta ya que no podemos hallar ningún número entero tal que al
elevarlo al cuadrado sea negativo. Su negación es
∀x ∈ ℤ: − [x 2 < 0]
La cual es equivalente a
∀x ∈ ℤ: x 2 ≥ 0
Es decir, para todos los números enteros, su cuadrado es positivo o cero.

Para negar una función proposicional cuantificada existencialmente se cambia el

cuantificador existencial por el cuantificador universal, y se niega la función
proposicional que era alcanzada por el cuantificador existencial:
−[∃𝒙 ∈ 𝑫/𝑷(𝒙)] ⟺ ∀𝒙 ∈ 𝑫: − 𝑷(𝒙)

ESQUEMA O FUNCIONES PROPOSICIONALES EN VARIAS

VARIABLES
Sea el siguiente esquema dado por “x es hermano de y”
Este esquema no es como los anteriores ya que tiene dos variables o indeterminadas, x
e y. Para que sea una proposición debemos reemplazar a x y a y por valores del
conjunto o universo de referencia, con reemplazar una no basta. Cada variable puede
tener distinto universo de referencia.
Ejemplos
José es el hermano de y NO ES PROPOSICIÓN
José es hermano de Juan SI ES UNA PROPOSICIÓN
Este tipo de esquema se llama esquema o función proposicional en dos variables, y se
denota por 𝑃(𝑥, 𝑦). Podríamos tener esquemas con más de dos variables.
Si al sustituir x e y por valores que lo convierten en una proposición verdadera el
conjunto estos valores serán raíces de dicho esquema o función proposicional.

Cuantificación de esquemas de varias variables

Para que un esquema proposicional con varias variables se convierta en una
proposición debe cuantificarse teniendo en cuenta que se deben utilizar tantos
operadores como variables tenga el esquema. En el caso de esquemas proposicionales
de dos variables tenemos las siguientes posibilidades:

∀𝑥 ∈ 𝐴 ∀𝑦 ∈ 𝐵: 𝑃(𝑥, 𝑦)

∃𝑥 ∈ 𝐴 ∃𝑦 ∈ 𝐵⁄𝑃(𝑥, 𝑦)

∃𝑥 ∈ 𝐴 ∀𝑦 ∈ 𝐵: 𝑃 (𝑥, 𝑦)

∀𝑥 ∈ 𝐴 ∃𝑦 ∈ 𝐵⁄𝑃 (𝑥, 𝑦)

Ejemplo

Sea 𝑃(𝑥, 𝑦): 𝑥 es hermano de 𝑦 Afirmamos que todos son hermanos de y.

No es una proposición.
1) ∀𝒙: 𝑥 es hermano de 𝑦

Afirmamos que todos son hermanos de alguien.

2) ∀𝒙 ∃y / 𝑥 es hermano de 𝑦
Es una proposición FALSA ya que no todos
tienen algún hermano. Se lee “Para cada x
3) ∃x ∀y: 𝑥 es hermano de 𝑦 existe un y tal que…”

Afirmamos que existe una persona que es hermano de

todos. Es una proposición FALSA. Se lee “Existe un x tal
que para todos los y se verifica…”

Nota: Cuantificadores u operadores de la misma especie (es decir todos

existenciales o todos universales) pueden conmutar, pero de distinta especie no

Negación de cuantificadores en varias variables

Para esquemas proposicionales de varias variables cuantificados, se debe cambiar
cada cuantificador y negar la función proposicional que era alcanzada por los
cuantificadores dados.
Es decir, para los esquemas proposicionales de dos variables, las negaciones son:

−[∀𝑥 ∀𝑦: 𝑃(𝑥, 𝑦)] ⟺ ∃𝑥 ∃ 𝑦⁄−𝑃 (𝑥, 𝑦)

−[∃𝑥 ∃ 𝑦⁄𝑃(𝑥, 𝑦)] ⟺ ∀𝑥 ∀𝑦: −𝑃(𝑥, 𝑦)

−[∃𝑥 ∀𝑦: 𝑃 (𝑥, 𝑦)] ⟺ ∀𝑥 ∃ 𝑦⁄−𝑃 (𝑥, 𝑦)

−[∀𝑥 ∃ 𝑦⁄𝑃(𝑥, 𝑦)] ⟺ ∃𝑥 ∀𝑦: −𝑃 (𝑥, 𝑦)