Está en la página 1de 16

Cuantificadores

En esta clase trataremos:


 Proposiciones abiertas
 Cuantificador Universal
 Cuantificador Existencial
 Negación de cuantificadores
Proposiciones

 Considera los siguientes enunciados:


a) “ X es un profesor de matemáticas”
b) “Paolo es un profesor de matemáticas”.
c) “ X es un divisor de 8”
d) “X es un divisor de Y”.
e) “2 es un divisor de Y”.
f) “3 es un divisor de 8”.

 ¿Qué diferencias observas entre unas y otras?


 ¿Cuáles son proposiciones?
Se¿Se
dan te ocurre alguna
enunciados manera
que no son de convertir
proposiciones pero queenpueden
proposiciones
convertirse las que no
en proposiciones loda
si se son? ...a las variables
un valor
X ó Y.
Proposiciones abiertas

 Una proposición abierta es un enunciado declarativo


que depende de una o más variables dentro de un
universo de discurso, de modo que se convierte
en una proposición para cada valor o reemplazo de
la variable.
Ejemplo:
Supongamos que el universo de discurso está formado por los
números naturales. Son proposiciones abiertas:

 P(X): “ X es un divisor de 8”
Observa P(2) es cierta, P(5) es falsa, P(32) es falsa.

 Q(X,Y): “X es un divisor de Y”.


Q(2,5) es falsa pero Q(5, 100) es verdadera.
Ejercicio

 Decide cuáles enunciados son proposiciones


abiertas y propón un universo de discurso.
a) (2n+3)2 es un número impar.
b) 1 + 3 = 5
c) x es un número real.

Respuestas:
a) Es proposición abierta. b) Es proposición.
c) Es proposición abierta.
Cuantificadores

Las expresiones
“Existe un x”, “Para algún x”, “Para cualquier x”,
“Para todo x”, cuantifican las proposiciones
abiertas, lo que hace posible asignarles un valor
de verdad, convirtiéndolas en proposiciones.

Son proposiciones cuantificadas


“ Para alguna x se cumple P(x)”
“ Para algunos x y algunos y, se verifica Q(x,y)”
“ Para todo x se satisface R(x)”.

Como se observa en las proposiciones anteriores hay


dos tipos de cuantificadores. ¿Puedes
distinguirlos?
Cuantificadores

El cuantificador existencial,


“Para algún x se verifica p(x)”
“Existe x tal que se cumple p(x)”
“Para al menos un x se satisface p(x)”
son proposiciones que se escriben como “x p(x) ”

El cuantificador universal,


“Para todo x se verifica p(x)”
“Para cualquier x tal que se cumple p(x)”
“Para cada x se satisface p(x)”
son proposiciones que se escriben como “x p(x) ”
Cuantificador Universal

 Dada la expresión
(⩝n € ℕ)(n+1>1)

Para todo número natural n, n más uno es mayor que


uno.
Para cualquier número natural n, n más uno es
mayor que uno.
Para cada número natural n, n más uno es mayor que
uno
Cuantificador Existencial

 Dada la expresión
(℈x € ℤ)(x+1=0)

Existe un número entero x, tal que x más uno es igual


a cero.
Para algún número entero x, x más uno es igual a
cero.
Al menos para un número entero x, x más uno es
igual a cero
Ejemplo


NEGACIÓN DE PROPOSICIONES C

 NEGACIÓN DEL CUANTIFICADOR


UNIVERSAL
 TODOS LOS NÚMEROS SON POSITIVOS
Su negación sería:
 No todos los números son positivos
 Existe por lo menos un número que no es
positivo
 Existe por lo menos un número negativo

Se representa con el símbolo:


┐(⩝x) p(x) se lee: No es cierto que para toda x, p(x) es
verdadero y es equivalente a (℈ x) ┐p(x)
Ejemplo

 Considere la siguiente proposición sobre


un conjunto A cualquiera, escriba en
forma simbólica la negación de la
expresión.
(⩝x € A) (x es par)
Se lee: Para todo número x en A, x es par.
Negación:
┐(⩝x € A) (x es par)
≡ (℈ x € A) ┐ (x es par)
≡ (℈ x € A) (x es par) se lee: Existe un número x en
A, tal que x es impar.
NEGACIÓN CUANTIFICADOR EXISTENCIAL

 Considere la siguiente expresión


 Existe una persona viva que tiene 200 años de
edad.
Su negación sería:
No existe una persona viva que tenga 200 años
de edad.
Toda persona viva no tiene 200 años de edad.

 Se representa con el símbolo


(℈x)p(x) = No existe x, tal que p(x) es verdadero.
Y es equivalente a:
(⩝x) ┐p(x)
Ejemplo

 Considero la siguiente proposición sobre


un conjunto A cualquiera, escriba de
forma simbólico la negación de la
siguiente expresión.
(℈x € A) (x+1=3) se lee: Existe un número x en A,
tal que x más uno es igual a tres.
Negación:
(℈x €A) (x+1=3)
≡(⩝x € A) ┐(x+1=3)
≡(⩝x € A) (x+1≠3)
Ejemplo

 Determine la negación de las siguientes


expresiones:
Todos los estudiantes del curso son hombres.
Negación:
 Al menos un estudiante del curso no es hombre.
 Al menos un estudiante del curso es mujer.
 Hay un estudiante zurdo.
 Todos los estudiantes no son zurdos.
 Todos los estudiantes son diestro.
 A todos las personas les gusta el café.
 Al menos a una persona no le guste el café.
Ejemplos
 Dado un conjunto A cualquier, determina
y escriba de forma simbólica la negación
de las siguientes expresiones.
 (℈x € A) (x <2) se lee: Existe un x en A, tal que x es
menor que 2.
 NEGACIÓN
 (℈x € A) (x <2)
 ≡(⩝x € A) ┐(x <2)
 ≡(℈x € A) (x >=2) se lee: Para todo x en A, x es mayor o
igual que 2
 (⩝x € A) (x es impar)
 NEGACIÓN
 ┐(⩝X €A) ( x es impar)
 ≡(℈x € A) ┐(x es impar)
 ≡(℈x € A) (x es par) se lee: Existe un x en A, tal que x es par.
 (⩝x € A) (℈y € A) (x = y)
 Se lee para todo x en A, existe un y en A, tal que x es
igual a y.

 Negación
 ┐[(⩝x € A) (℈y € A)](x = y)
 ≡(℈x € A) (⩝ y € A) ┐(x = y)
 ≡(℈x € A) (⩝ y € A) (x ≠ y) se lee: Existe un x en A, para todo y
en A, tal que x es diferente que y

También podría gustarte