Cuantificadores
Cuantificadores
Cuantificadores
Sergio Guerrero
Rosa
Yair Rueda
Sheyra
Funciones Proposicionales:
Una función proposicional es una función cuyas variables son proposiciones. Esto
es, una afirmación expresada de manera que podría asumir los valores de verdad,
de falso o verdadero con la excepción de que existe alguna variable que no está
definida o especificada y que, por tanto, no permite asignar un valor de verdad
definido.
Al igual que las proposiciones, las funciones proposicionales se pueden unir por
conectivos lógicos, formándose las funciones proposicionales compuestas.
Ejemplos:
Nota: Al conjunto de todos los valores convenidos para “X”, se denomina DOMINIO
DE LA VARIABLE.
c). Sea P(X): 2X+1>5 y el dominio Z, determina el valor de verdad de P(4) y P(-3)
9>5
-5>5
Cuantificadores
Es toda función proposicional precedida por el prefijo “Para Todo”, que está
denotada por : ∀ .
Los enunciados de la forma: para todo, siempre o cualquiera se denominan
enunciados universales o referenciales. Para traducirlos se utiliza el denominado
cuantificador universal.
Por ejemplo: ∀ x ∈ R : x 2 ≥ 0
Se lee: “Para todo x perteneciente a los reales, x al cuadrado es mayor o igual a
cero”.
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:
Ejercicios:
a) x 2−25=(x−5).(x+5)
b) x 2+4=0
c) x+2>x
4.1). Determine si cada una de las tres proposiciones del apartado anterior es
verdadera o falsa. Para cada proposición falsa, dé un contraejemplo.
Solución:
Cuantificador existencial
A diferencia del cuantificador universal, el cuantificador existencial transforma una
función proposicional a una variable proposicional de tal manera que por lo menos
existe un elemento de la variable-sujeto (por lo menos un elemento del conjunto)
que cumple una propiedad determinada.
∃ x ∈ A : x es múltiplo de 3.
Esta proposición nos dice que por lo menos existe un x ∈ A que es múltiplo de 3,
esta proposición es verdadera porque existe un elemento del conjunto A que es
múltiplo de 3 y es 6 ∈ A.
Negación de un cuantificador
Proposición Negación
Existencial ∃(existe) ∀
Algunos Ningún
Ningún Algunos
Todos Algunos no
Ejemplos:
a). Escriba la negación de cada uno de los siguientes enunciados:
1. Todos los números son enteros.
Negación: Algunos números no son enteros.
2. Ninguno de mis compañeros es extranjero.
Negación: Algunos de mis compañeros son extranjeros.
b). Simboliza y niega esta proposición: “Todos los números enteros son impares”.
● Sean el dominio Z y la función proposicional p(x): x es un número impar.
● Simbolizamos mediante el cuantificador universal: ∀ x ∈ Z , p( x )
● Negamos el cuantificador universal: ¬ [ ∀ x ∈ Z , p ( x) ] ≡∃ x ∈ Z /¬ p( x )
● Interpretamos: Existe al menos un número entero x que no es impar.
Dada una función proposicional, tal como: p(x), entonces si esta función
proposicional está cuantificada y se niega, entonces, se cumple la siguiente
igualdad:
-[ ∀ x ∈ A : p(x ) ] ≡ ∃ x ∈ A :−p (x)
(ii) Vimos que (∃x∈U) [a(x)] es equivalente a A≠Ø . En consecuencia, ¬(∃x∈U) [a(x)]
equivalente a A≠ ∪, lo cual es equivalente a A’≠ ∪ ' , es decir, A’≠Ø , lo cual equivale
a (∃x∈U) [¬a(x)]. En consecuencia: ¬(∃x∈U) [a(x)] ⇔ ( ∀ x∈U) [¬a(x)].
Por tanto, la proposición ∀ x : p( x )es lógicamente falsa, creo que no necesito explicar
el porqué, para corregir esto, simplemente lo negamos, quedaria asi:
● ¬ [ ∀ x : p( x ) ]
Su lectura es:
Ejercicio:
● https://es.slideshare.net/antokizbieber/negacin-de-proposiciones-con-
cuantificadores
● https://cdn.slidesharecdn.com/ss_thumbnails/lgicaproposicional-
110224081025-phpapp02-thumbnail.jpg?w=384&q=90
● http://caminos.udc.es/info/asignaturas/grado_tecic/101/AL1/pdfs/Precursos/
problemastema0.pdf
● https://es.scribd.com/doc/126446/Ejercicios-de-cuantificadores
● http://casanchi.org/mat/proposicionales01.pdf
● https://steemit.com/castellano/@anmilnet/funciones-proposicionales-y-
dominio-de-verdad
● https://www.academia.edu/41224406/Introducci%C3%B3n_a_la_l
%C3%B3gica_matem%C3%A1tica_Alfonso_Burgos
Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.
Alternative Proxies: