Luz Andrea Guardia Colque

CUANTIFICADORES
Los cuantificadores permiten afirmaciones sobre colecciones enteras de objetos en lugar de
tener que enumerar los objetos por su nombre.
Cuantificador universal
El cuantificador universal indica que algo es cierto para todos los individuos.
Sea A una expresión y sea x una variable. Si deseamos indicar que A es verdadero para todos
los posibles valores de x, escribiremos (∀x) A.
• (∀x) es cuantificador universal
• A es el ámbito (alcance) del cuantificador.
• El símbolo ∀ se lee “para todo”.
Ejemplos
1. Expresar “todos los gatos tienen cola” en cálculo de predicados. Solución: Hallar
primero el ámbito del cuantificador universal, que es “Si x es un gato, entonces x
tiene cola” y se define como
Gx ↔ x es un gato
Cx ↔ x tiene cola
∴ (∀x) Gx → Cx
2. “x protege el circuito de luces”
Para cada x, x protege el circuito de luces
En este caso utiliza “x” para afirmar que cada elemento del universo tiene una cierta
propiedad
Wx ↔ x protege el circuito de luces
(∀x) Wx
NOTA: No existe límite en el número de veces que pueden aplicarse especificaciones
a la misma proposición universal.

3. Cada número positivo es mayor que cero, 1 es un número positivo, 3 es un número

positivo. Por lo tanto, 1 y 3 son mayores que cero.

Se define: Px ↔ x es un número positivo

Demostrar 1>0 & 3>0 si ..

1) (∀x) (Px → x > 0) P

2) P1 P
3) P3 P
4) P1→1 > 0 1/x (1)
5) 1>0 PP(2,4)
6) P3→3 > 0 3/x (1)
7) 3 > 0 PP(3,6)
8) 1 > 0 & 3 > 0 Adj(5,7) 1

1|Página
 Luz Andrea Guardia Colque

Cuantificador existencial
En muchas otras situaciones matemáticas es importante considerar la posibilidad de que el
conjunto de verdad de una función proposicional contenga al menos un elemento del universo
U; es decir, el conjunto de verdad no es el conjunto vacío. Esto se simboliza como x que se
lee: “para algún x”, “existe x” o “existe al menos un x tal que” y se llama cuantificador
existencial. La proposición se escribe como (x  U) P(x), o bien (x) P(x) si el dominio de
la variable está sobreentendido y que se lee como: “para algún x P(x)”, “existe x tal que P(x)”
o “existe al menos un x tal que P(x)” o bien “hay un x tal que P(x)”.
Ejemplos
1. Se considera el enunciado “existe al menos un tigre que es devorador de hombres”
significa que significa que un animal salvaje tiene las propiedades de “ser tigre”
y “ser devorador de hombre”. Si se utiliza la variable x para denotar tal animal
salvaje, entonces el enunciado se puede escribir como “Existe al menos un x tal
que x es tigre y x es devorador de hombres”. Ahora si se simbolizan los dos
predicados como T(x): x es tigre y D(x): x es devorador de hombres y se
introducen los símbolos del cuantificador existencial y de la conjunción, entonces
el enunciado “existe al menos un tigre que es devorador de hombres” queda
representado por la fórmula x (T(x)  D(x)). Lógica Proposicional
2. Ejemplos de este cuantificador en matemáticas se tienen en las proposiciones:
A. P(x): x  R, x 2 + 3x – 4 = 0, que es una ecuación y que sólo es verdadera
para los valores – 4 y 1; es decir estos son los dos únicos reales que satisfacen la
ecuación. Por lo tanto, la proposición es verdadera.
B. Q(x): x  R, x = x + 1, no existe un número real tal que sumado con 1 se
obtenga el mismo real. En consecuencia, la proposición es falsa.
Observe que mientras que el cuantificador universal utiliza la implicación, el
cuantificador existencial naturalmente utiliza la conjunción.2
3. Se desea formalizar la expresión "Algunos estudiantes de informática han
estudiado programación" como una cuantificación existencial.
Sea P(x) = "x ha estudiado programación".
Donde x = "Alumno de Informática".
entonces se puede expresar como: x P(x) que se lee "Existen algunos alumnos
de Informática que han estudiado programación".3

FUNCIONES PREPOSICIONALES

Considérense las siguientes proposiciones:

Gustavo es médico.
Alvaro es médico.
Enrique es médico.

Estas proposiciones tienen algo en común, y es la propiedad de "ser médico". Esto puede
formularse recurriendo a la expresión "x es médico" en donde x es una variable individual,
la cual indica que el sujeto o término que tiene la propiedad de ser médico es indeterminada.

2|Página
 Luz Andrea Guardia Colque

La expresión "x es médico" no puede considerarse como una proposición puesto que no es
en cuanto tal ni verdadera ni falsa. Aquí x es una variable que toma valores dentro de un
conjunto, llamado conjunto de referencia. Expresiones de esta forma, dadas en términos de
una o varias variables, reciben el nombre de funciones proposicionales.

Cuando en una función proposicional se sustituyen las variables por constantes individuales
o términos específicos, se convierte en proposición. Comúnmente se usarán las letras x, y, z,
w para denotar las variables. Las funciones proposicionales pueden negarse y también
combinarse con otras funciones proposicionales o proposiciones simples por medio de los
conectivos.

Ejemplo:
"x es un número racional y z es un número irracional". Se puede simbolizar como:
Qx ∧ Iz.

Si en una forma compuesta hay por lo menos una función proposicional como componente,
entonces toda la forma compuesta es una función proposicional.

Ejemplo:
Ca ∨ (Ab → Px)

Es una función proposicional puesto que Px lo es.4

INDUCCIÓN MATEMÁTICA

El método de inducción matemática conlleva una posibilidad de pruebas de ciertas

proposiciones cuyas variables recorren el conjunto N de todos los números naturales. Las
pruebas toman como pivote demostrativo el principio de inducción completa. Razonamiento
que permite demostrar una infinidad de proposiciones, o una proposición que depende de una
variable en que toma una infinidad de valores enteros no negativos.
Definición
Este principio sirve para demostrar propiedades que se cumplen para un conjunto numerable
de objetos (Un conjunto A es numerable si existe una biyección de A en el conjunto de los
números naturales). Generalmente se usa la notación A(n), B(n), C(n), P (n), … para denotar
estas propiedades.
Principio
El principio de inducción completa, en que se basa el método del mismo nombre, consiste
en:
1ro. Probar que la propiedad se satisface para un primer número natural (P (a) es verdadera
para a perteneciente a N).
2do. Probar que siempre que un número natural cualquiera satisfaga la propiedad, su sucesor
también la satisface.(De P (k) se deduce P (k+1)).

3|Página
 Luz Andrea Guardia Colque

Ejemplos
Demuestra por Inducción completa que para todos los números naturales n se cumple: 0 + 2
+ 4 +…+ 2n = n(n + 1). Sea S(n) = 0 + 2 + 4 +…+ 2n. Se debe probar que S(n) = n(n + 1).
Inicio de Inducción: Para n = 0: S (0) = 0(0 + 1) = 0 La propiedad es verdadera para n = 0.
Hipótesis de inducción: Para n = k : 0 + 2 + 4 +…+ 2k = k(k + 1).
Tesis de inducción: Para n = k +1: 0 + 2 + 4 +…+ 2(k+1) = (k + 1)(k + 2).
Demostración de la tesis de inducción: Se debe probar que S (k)= k(k + 1) => S (k+1)= (k +
1)(k + 2) Partiendo de la hipótesis: 0 + 2 + 4 +…+ 2k = k(k + 1) Sumemos el término 2(k
+1) a ambos miembros de la igualdad: 0 + 2 + 4 +…+ 2k + 2(k + 1) = k(k + 1) + 2(k + 1)
Debemos analizar si en el miembro derecho la expresión: k(k + 1) + 2(k + 1)es la misma que
(k + 1)(k + 2) 0 + 2 + 4 +…+ 2k + 2(k + 1) = k(k + 1) + 2(k + 1) 0 + 2 + 4 +… +2k+ 2(k +
1) = (k + 1)(k + 2) extrayendo factor común (k+1) Luego, la propiedad se cumple para todo
n que pertenece a N.
Demostración de proposiciones de la Teoría de números
Demuestra por inducción completa que para todo numero natural n 3n – 1 es divisible por 2.
Inicio de inducción: Para n = 0 ; 30 – 1 = 1 – 1 = 0 no se cumple la propiedad. Para n = 1,
31 – 1 = 2 es divisible por 2. Se cumple la propiedad. Elaborar de conjunto con los alumnos
que si un número es divisible por 2, entonces es de la forma 2x, con x que pertenece a N.)
Hipótesis de inducción: Para n = k : 3k – 1 = 2x.
Tesis de inducción: Para n = k + 1: 3k + 1 – 1 = 2.
Demostración de la tesis de inducción: 3k – 1 = 2x Multiplicando por 3 ambos miembros,
tenemos: 3·3k-3 = 6x
3k+1 = 3 + 6x
3k+1 = 2 + 1 + 6x
3k + 1 – 1 = 2 + 6x
3k + 1 – 1 = 2 (1 + 3x)
3k + 1 – 1 = 2 y luego 3n – 1
Es divisible por 2 para todo n que pertenece a los números naturales distintos de cero.5
Ejemplo 2

Problema. Demuestre que la suma de los primeros números naturales es .

Solución. Vemos que la proposición que tenemos que demostrar es .

Realizemos los tres pasos para demostrarla mediante inducción:

4|Página
 Luz Andrea Guardia Colque

 Paso 1: Para tenemos que , y por otro lado , por lo tanto

la proposición es cierta para .
 Paso 2: Supongamos que la proposición es verdadera para cualquier , es decir,

supongamos que .
 Paso 3: Probemos que la proposición es cierta para , es decir, probemos

que . Al separar el último término

de la suma tenemos que:

Pero por la hipótesis de inducción tenemos ahora:

Lo que resta es simple álgebra para llegar a la expresión deseada, factorizando y

reacomodando tenemos que:

Finalmente, por el principio de inducción matemática, se cumple que , para

toda .
Problema para el lector
Demuestre que la suma de los primeros números naturales impares es .

Ejemplo 3
Problema. Sea y para . La sucesión anterior es
conocida como la sucesión de Fibonacci. Demuestre que:

, para toda .

5|Página
 Luz Andrea Guardia Colque

Sí, aunque no lo creas, hay una fórmula para calcular cualquier número de la sucesión de
Fibonacci sin conocer los anteriores.
Solución. Usando inducción tenemos que:
 Caso base: probemos que la proposición es cierta para y para . Por la
definición tenemos que , y por la proposición tenemos que:

Por lo que la proposición es cierta para y .

 Hipótesis de inducción: supongamos que la proposición se cumple para , es

decir, supongamos que .

 Tesis de inducción: probemos que la proposición es cierta para , es decir,
probemos que . Al usar la definición de la sucesión tenemos que
, pero por la hipótesis de inducción eso es:

Factoricemos un poco para que se vea más sencilla la expresión:

Pero , y , por lo tanto:

Que es justo lo que queríamos demostrar, así, por inducción matemática, nuestra proposición
es cierta para toda . 6

Bibliografía

1. http://www.itnuevolaredo.edu.mx/takeyas/Apuntes/Inteligencia%20Artificial/Apunt
es/IA/Filminas-Cuantificadores.PDF
2. http://lidis.usbcali.edu.co/Proyectos/matematicasDiscretas/2016-
1/grupo1/guiaslogica/Cuantificadores.pdf
3. https://prezi.com/k2_z7pmb4mlb/cuantificadores-existenciales/
4. http://aprendeenlinea.udea.edu.co/boa/contenidos.php/8b077438024e1bddfbc83706
da8049f2/138/1/contenido/contenido/f_proposicionales.html
5. https://www.ecured.cu/M%C3%A9todo_de_inducci%C3%B3n_completa
6. https://compilandoconocimiento.com/2017/01/01/induccion-matematica/

6|Página