Está en la página 1de 5

Momento Intermedio

Unidad 1 Ejercicio 1: Conceptualización de Cuantificadores


Grupo 200611

Presentado por:
Sebastian Arboleda Velasquez
Código: 1037596846

Presentado a:
Jonathan de Jesús Flórez Isaza
Tutor

Universidad Nacional Abierta y a Distancia UNAD


Programa de Ingeniería en Telecomunicaciones
Pensamiento Lógico Matemático
Medellín, 30 de septiembre de 2018
Ejercicio 1: Conceptualización de Cuantificadores

A. Cuantificadores en la Lógica Matemática.

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:

P(x) = x es menor que dos

Esto podría particularizarse así: “Existe un número real que es menor que dos”
o generalizarlo diciendo: “Todos los números reales son menores que dos”.

En cualquiera de los dos casos, se especifica un conjunto donde está tomando


valores la variable, para nuestro ejemplo, el conjunto de los números reales.

Para notar la particularización y la generalización, se utiliza la siguiente


simbología, respectivamente:

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.

Con estos elementos es posible definir inicialmente el alcance de los


cuantificadores. Si alguno de los cuantificadores no va seguido de un paréntesis
entonces su alcance llega hasta la primera letra que se encuentra a la derecha
del predicado, por ejemplo:

x p(x)
x p(x) q(x) s(x)
x p(x) v s(x)

En las tres situaciones anteriores, el alcance solo llega hasta p(x).

Si el cuantificador antecede precede los paréntesis, su alcance abarca a toda la


expresión que se encuentra entre los paréntesis, por ejemplo:

x (q(x) s(x))


x (p(x) q(x) s(x))

A aquellas variables en la cuales están bajo el alcance de algún cuantificador


se les denomina ligadas y en caso contrario se les denomina libres.

Por ejemplo, son variables libres:

p(x)
p(x) q(x) s(x)
q(x) v s(x)

Son variables ligadas:

xy (q(x) s(y))


yx (p(y) q(x) s(x))

Los cuantificadores más utilizados son entonces:

 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:

 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.

 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.
Referencias

 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de


sistemas y computación. (pp. 106 - 112). Ediciones Elizcom, Madrid

 Sequera, L. (2014). Cuantificadores Lógicos. Recuperado de


http://primeraunidad101.blogspot.com/2014/08/cuantificadores.html.

También podría gustarte