SOLUCIONES MATEMATICAS Buscar en este sitio

DISCRETAS

CÁLCULO PROPOSICIONAL. TUTORIALES Mapa del sitio

Navegación LOGICA DE PREDICADOS‎> ‎

CÁLCULO PROPOSICIONAL.
PROPOSICIONES
CUANTIFICADORES
FUNDAMENTOS DE LA LOGICA
LOGICA DE PREDICADOS
En lógica matemática, teoría de conjuntos y matemáticas en general, los cuantificadores son
CUANTIFICADORES
símbolos utilizados para indicar cuántos o qué tipo de elementos de un conjunto dado cumplen con
TEORIA DE CONJUNTOS
cierta propiedad (por ejemplo, pertenencia, equivalencia u orden). Existen muchos tipos de
TUTORIALES
cuantificadores, entre los más utilizados están:
Mapa del sitio
Cuantificador universal
Para todo x, y...
∀x, y …
Cuantificador existencial

∃x, y … al menos un x, y...

Existe
Cuantificador existencial único
∃!x, y …exactamente un x, y...
Existe

Negación del cuantificador existencial

∄x, yexiste
No … ningún x, y...

Declaraciones cuantificadas

Las declaraciones cuantificadas se escriben en la forma:

∀x ∈ R, 2x ∈ R
Para todo x que pertenece a R, se cumple que 2x pertenece a R.
∀a ∈ R, ∃x ∈ R : a < x < (a + 1)
Para todo a que pertenece a R, existe x que pertenece a R, que está comprendido entre a y a+1.
∀a ∈ R − {0}, ∃!x ∈ R : a ⋅ x = 1
Para todo a que pertenece a R diferente de cero, existe un único x que pertenece a R, que cumple
que a por x es igual a 1.

Proposiciones

Cuantificación universal

El cuantificador universal se utiliza para afirmar que todos los elementos de un conjunto cumplen con
una determinada propiedad. Por ejemplo:
∀x ∈ Atodo
Para x perteneciente a A, se cumple P(x).
: P(x)
Esta afirmación suele usarse como la equivalente de la proposición siguiente:
A = define
Se {x ∈ U el conjunto A, como el de los elementos x de U, que cumplen P(x).
: P(x)}

Cuantificación existencial

El cuantificador existencial se usa para indicar que hay uno o más elementos en el conjunto  A (no
necesariamente único/s) que cumplen una determinada propiedad. Se escribe:
∃x ∈ A : P(x)
Existe x en A que cumple P(x).
Esta proposición suele interpretarse como la equivalente de la proposición siguiente:
{x ∈ A : P(x)} ≠ ∅
El conjunto de los elementos x de A, que cumplen P(x) es distinto del conjunto vacío.

Cuantificación existencial única

El cuantificador existencial con marca de unicidad se usa para indicar que hay un único elemento de
un conjunto A que cumple una determinada propiedad. Se escribe:

∃!x ∈ A : P(x)
Se lee:
Existe una única x elementos de A, que cumple P(x).

Equivalencias

Se tienen las siguientes relaciones universales:

∀x ∈ A : P(x) ⟷ ¬∃x ∈ A : ¬P(x)
Si: para todo x de A se cumple P(x), es equivalente a: no existe x en A que no cumpla
P(x).
∃x ∈ A : P(x) ⟷ ¬∀x ∈ A : ¬P(x)
Si: existe x en A que cumple P(x), es equivalente a: no para todo x de A, no se cumple
P(x).
En cuanto al cuantificador existencial único puede considerarse una extensión por definición en un
lenguaje formal con igualdad teniendo dada la equivalencia:
∃!x ∈ A : P(x) ⟷ ∃z ∈ A ∀x, y ∈ A : P(z) ∧ (P(x) ∧ P(y) → x = y)
Si: existe un único x en A que cumple P(x), es equivalente a: para todo x, y de A, que
cumple P(x) y P(y), entonces x es igual a y.

Las expresiones:

Todo hombre es mortal.

Algunos hombres son sabios.
Pueden traducirse respectivamente como:

Para todo x, si x es hombre entonces x es mortal.

Existe un x, tal que x es hombre y x es sabio.

Otros giros utilizados para la expresión "para todo x", son:

Todo x

Cualquiera x
Cada x

que se simbolizan por ""x"

y se llama cuantificador universal.

Otros giros utilizados para la expresión "Existe un x" son:

Hay x
Existe x, tal que

Algún x
Algunos x

Que se simbolizan por "$x"

y se llama cuantificador existencial.
Existen tres formas de convertir una función proposicional P(x) en una proposición a saber:

Haciendo la sustitución de las variables por un término específico.

Anteponiendo la expresión "para todo x" o cuantificador universal.
Anteponiendo la expresión "existe al menos un x" o cuantificador existencial.

El enunciado "existe almenos un x tal que P(x)" se representa como:

$xP(x)
(x es ligada al cuantificador)

El enunciado "para todo x, P(x)" se representa como:

"xP(x)
(x es ligada al cuantificador)

"xP(x)
es verdadera cuando todos los x1, x2,..., xn se cumplan en P(x1)
Ù P(x2) Ù ... P(xn) es
verdadero.

$xP(x) es verdadero cuando al menos un caso x1, x2,..., xn se cumplan en P(x1)

Ú P(x2) Ú... P(xn)
es verdadero.

Ejemplo :
Todo estudiantes de está clase ha estudiado cálculo.
P(x) : "x es estudiante de la clase de MDI"
 Q(x) : "x ha estudiado cálculo"

"x(P(x)
®
Q(x))

P(x) : "x + 1 > x" es verdadera la proposición "xP(x), cuál es el universo del discurso donde es
verdadero.
Q(x) : "x < 2" es verdadera la proposición "xQ(x) el universo de los reales.
P(x) : "x*x <10" cuál es el universo del discurso donde es verdadero.
Ejercicio :
1. Todo estudiante de la EISC tiene un computador o existe un estudiante que tiene un
computador y x y y son amigos.
2. $x"y"z (((f(x,y) Ù f(x,z) Ù (x <> z) ®
Ø f(x,z))). f(x,y) : " x es amigo de y".
3. "x"y (x + y =y + x)
4. "x$y (x + y = 0)
5. "x"y"z (x + (y + z) = (x + y) + z)
6. Algún estudiantes de está clase visitará cali y cada estudiante de esta clase visitará Medellin o
Cali.
7. Todo tenemos exactamente un mejor amigo.
8. Si m es un entero par, entonces m + 7 es impar.
9. Para cada número real epsilon > 0 existe un número real delta > 0 tal |f(x) - L| < epsilon cada
vez que 0 < |x-a|< delta.
10. Todos los leones son fieras.
11. Algunos leones no toman café.
12. Algunas criaturas salvaje no son de Africa.
13. Algunos números negativos no son enteros.
14. Algunos gobiernos no respetan la libertad.
15. Si todo es rojo, hay algo rojo.

Todos los alumnos son estudiosos

(∀ x) (A(x) → E(x)) donde
el predicado A significa alumno, E estudioso y x es un elemento de un
dominio general que podría ser el de las personas o cualquier subconjunto deseado.

CUANTIFICADOR UNIVERSAL

En lógica, se usa el símbolo ∀, denominado cuantificador universal,1 antepuesto a una variable

para decir que "para todo" elemento de un cierto conjunto se cumple la proposición dada a
continuación. En texto se puede representar con el carácter ∀.

Normalmente, en lógica, el conjunto al que se refiere es el universo o dominio de referencia, en el

cual aparecen todas las constantes.

Ejemplo

Si tenemos dos conjuntos diferentes A y B, y A es un

subconjunto de B:
A ⊂ B∧A ≠ B∧A ≠ ∅
Todo elemento x de A pertenece a B:
∀x ∈ A ⇒ x ∈ B
Al ser A y B conjuntos diferentes como indica el
diagrama, podemos decir que no todos los elementos y
de B pertenecen a A, siendo esto una garantía suficiente
para que dos conjuntos cualesquiera puedan ser
diferentes:
¬∀y ∈ B : y ∈ A
Es decir: no para todo elemento y de B se cumple que y también pertenezca a A.

Relación cuantificador universal y el cuantificador existencial

Dada una expresión P(x), según el cuantificador universal se puede transformar en otra equivalente
con el cuantificador existencial:
∀x P(x) ⇔ ¬∃x ¬P(x)
que podríamos leer: si para todo x se cumple P(x) no existe un x que no cumpla P(x).
Según el ejemplo anterior:
∀x ∈ A : x ∈ B
Para todo x que pertenece a A, se cumple que x pertenece a B. Que podemos expresar:
¬∃x ∈ A : x ∉ B
No existe un x de A, que cumpla que x no esté en B.

CUANT IFICADOR EXISTENCIAL

 En el
lenguaje de predicados en lógica matemática,
se usa el símbolo: ∃, llamado cuantificador
existencial, antepuesto a una variable
para decir que "existe" al menos un elemento del conjunto al
que hace referencia la
variable, que cumple la proposición escrita
a continuación.
Normalmente,
en lógica, el conjunto al que se hace referencia es el universo o dominio
de referencia,
que está formado por todas las constantes.[cita requerida]
Ejemplo
Si tenemos
dos conjuntos diferentes A y B, y A es un
subconjunto de B:
A⊂B∧A≠B∧A≠∅

existe al
menos un elemento x de B que pertenece a A:
∃x∈B∧x∈A

Al afirmar
que existe al menos un x que pertenece a B y
pertenece a A,
quiere decir que no todos los elementos
de B pertenecen a A, al
ser A y B conjuntos distintos,
existe al menos un elemento y
de B que no pertenece a
A:
∃y∈B∧y∉A

Que podemos
leer: existe al menos un elemento y en B, y este elemento y
no pertenece a A.

Č
Ċ Leccion2.pdf (245k) Eduardo Botello Mendoza, 4 nov 2014, 11:43 v.1 ď
Ċ LopezOviedo.PDF (553k) Eduardo Botello Mendoza, 4 nov 2014, 11:43 v.1 ď
Ċ Predicados_y_Cuantificadores_universales.pdf (… Eduardo Botello Mendoza, 4 nov 2014, 11:43 v.1 ď
Ċ cap5.pdf (9335k) Eduardo Botello Mendoza, 4 nov 2014, 11:43 v.1 ď
Ċ problemas-resueltos-caida-libre.pdf (199k) Eduardo Botello Mendoza, 4 nov 2014, 11:43 v.1 ď

Comentarios

No tienes permiso para añadir comentarios.

Iniciar sesión | Actividad reciente del sitio | Notificar uso inadecuado | Imprimir página | Con la tecnología de Google Sites