CUANTIFICADORES LÓGICA MATEMÁTICA

Lina Rocio plata Chacón

CÓDIGO: 200611B_474

 ¿QUÉ SON?

Los cuantificadores en lógica matemáticas hacen 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.

Además…
Los cuantificadores permiten la construcción de proposiciones a partir de funciones
proposicionales, bien sea particularizando o generalizando

 EJEMPLOS: Un cuantificador transforma una función proposicional, en una

proposición a la cual se le asigna un valor de verdad.

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

2. Hay árboles, todos son árboles, algunos números, siempre son números,
algunos árboles son maderables, todos los árboles son maderables, hay árboles
maderables que tiene flores, los árboles maderables tienen flores.

 TIPOS DE CUANTIFICADORES: Los cuantificadores son símbolos utilizados para

indicar cuántos elementos de un conjunto dado cumplen con cierta propiedad.

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

2. Cuantificador existencial: de P(x) “Es la proposición en que existe un elemento x

en el universo de discurso tal que P(x) es verdad”.

Se denota con el símbolo ∃ x y se lee de las siguientes maneras: “hay un x tal

que…)”, “hay al menos un x tal que…” o “para algún x…”.

 BIBLIOGRAFÍA:

 http://primeraunidad101.blogspot.com/2014/08/cuantificadores.html
 https://medium.com/@matematicasdiscretaslibro/6-logica-de-cuantificadores-
d453d859dd20
 https://matedisunidad3.wordpress.com/category/3-2-1-cuantificadores/
 https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
ppg=109&docID=3199701&tm=1529510366591