República Bolivariana de Venezuela

Universidad Nacional Experimental de los Llanos

Occidentales Ezequiel Zamora
Vice-rectorado de Planificación y Desarrollo Social
Programa Ingeniería, Arquitectura y Tecnología
Subprograma Informática
UNELLEZ-Barinas.

CUANTIFICADORES
Módulo IV

Barinas, 22 de julio de 2017

1._ CUANTIFICADORES

Cuando se habla de cuantificadores en términos de Lógica,

Teoría de Conjuntos o Matemáticas en general, se hace referencia a
aquellos símbolos que se utilizan para indicar cantidad en una
proposición, es decir, permiten establecer “cuántos” elementos de
un conjunto determinado, cumplen con cierta propiedad.

Los cuantificadores permiten la construcción de proposiciones

a partir de funciones proposicionales, bien sea particularizando o
generalizando. Por ejemplo, si consideramos la función
proposicional:

Que se lee: “existe un equis que pertenece a erre (a los

reales), tal que equis es menor que dos”
Mientras que:

Se lee: “para todo equis que pertenece a erre (a los reales),

se cumple que equis es menor que dos”

El símbolo (para todo…) se denomina cuantificador

universal, y el símbolo (existe al menos un…) se denomina

cuantificador existencial.

Así, un cuantificador transforma una función proposicional, en

una proposición a la cual se le asigna un valor de verdad.
2._ CUANTIFICADOR UNIVERSAL (para todo…):
Se utiliza para afirmar que TODOS los elementos de un
conjunto, cumplen con una condición o propiedad determinada.
Esto se expresa como:

3._ CUANTIFICADOR EXISTENCIAL (Existe al menos un…):

Se utiliza para indicar que existen uno o más elementos en
el conjunto A que cumple(n) con una condición o propiedad
determinada.

3.1_ CUANTIFICADOR EXISTENCIAL ÚNICO (existe un

único…):
Se utiliza para indicar que existe exactamente un elemento en
el conjunto A que cumple con una condición o propiedad
determinada.

3.2 NEGACIÓN DE PROPOSICIONES CON CUANTIFICADORES

Sea p(x) una función proposicional con extensión A, entonces:
Ejemplos:
1. Sea A = {1, 2, 3, 4, 5}. Determine el valor de verdad de
cada uno de los enunciados siguientes:

a. ( X E A) (X+3=10)
Es FALSO porque ningún número de A es una solución de x+3=10

b. ( XEA) (X+3 <10)

Es VERDADERO. Cualquier número de A cumple que x+3<10
2. Negar las siguientes proposiciones cuantificadas. Luego,
simbolizar la proposición y la negación de dicha proposición.
a. Todos los números naturales son pares.
b. Existe un número par que no es múltiplo de 4.

Solución:
a. Negación: Existe por lo menos un número natural que no
es par.
Proposición:

( XEN) ( X ES PAR)
Negación:

( X E A) (X NO ES PAR)

b. Negación: Todos los números pares son múltiplos de 4

Proposición:

( X PAR | X NO ES MÚLTIPLO DE 4)
Negación:

( X PAR | X ES MULTIPLO DE 4)
Ejercicios Resueltos
Ejercicios de cuantificadores “todas las hormigas son
insectos"
Para toda x, si x es hormiga entonces x es insecto que se
puede simbolizar de la manera siguiente:
(∀x) (Hx → Ix)

Donde Hx simboliza la expresión: " x es hormiga", e Ix

simboliza la expresión "x es insecto". "hay animales carnívoros"

Se observa que se puede escribir como:

"existe al menos un x, tal que x es animal y x es carnívoro “que se
puede simbolizar como:
(∃x) (Ax ∧ Cx).

Expresar “todos los gatos tienen cola” en calculo 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

4._ REGLAS DE LA INFERENCIA EN LÓGICA

En lógica, una regla de inferencia, o regla de

transformación es una forma lógica que consiste en una función
que toma premisas, analiza su sintaxis, y devuelve una conclusión
(o conclusiones). Por ejemplo, la regla de inferencia llamada Modus
ponendo ponenstoma dos premisas, uno en la forma "Si p entonces
q" y otra en la forma "p", y vuelve la conclusión "q". La regla es
válida con respecto a la semántica de la lógica clásica (así como la
semántica de muchas otras lógicas no clásicas), en el sentido de
que si las premisas son verdaderas (bajo una interpretación),
entonces también lo será la conclusión.

Por lo general, una regla de inferencia conserva la verdad,

una propiedad semántica. En muchos valores lógicos, esta conserva
una designación general. Pero la acción de la regla de inferencia es
puramente sintáctica, y no es necesario preservar ninguna
propiedad semántica: cualquier función de conjuntos de fórmulas
para fórmulas cuenta como una regla de inferencia. Por lo general,
solo son importantes las reglas que sean recursivas; es decir, reglas
de modo que no haya un procedimiento efectivo para determinar si
cualquier fórmula dada es la conclusión de un determinado conjunto
de fórmulas de acuerdo a la regla. Un ejemplo de una regla que no
es efectiva en este sentido es la infinitista regla ω.

Como se mencionó, la aplicación de una regla de inferencia es

un procedimiento puramente sintáctico. Sin embargo, debe también
ser válido, o mejor dicho, preservar la validez. Para que el requisito
de preservación de la validez tenga sentido, es necesaria una cierta
forma semántica para las aserciones de las reglas de inferencia y
las reglas de inferencia en sí mismas.

Las reglas significativas de inferencia en la lógica

proposicional incluyen modus ponens, modus
tollens y contraposición. La lógica de predicados de primer orden
usa reglas de inferencia para liderar con cuantificadores lógicos.
 REFERENCIAS

Boolos, S., Burgess, J., Jeffrey, J., Richard, C. (2007). Computability

and
 logic (en inglés). Cambridge: Cambridge University Press.
p. 364. ISBN 0-521-87752-0.

Sequera, S., Colmenares, J., Palmera J. (2014). Introducción al

algebra.
Disponible:http://primeraunidad101.blogspot.com/2014/08/cua
ntificadores.html [consulta: 2017 julio 17].