Cuantificadores

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

Cuantificadores

Cargado por

Copyright:

Formatos disponibles

Cuantificadores

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Cuantificadores

Cargado por

Copyright:

Formatos disponibles

Cuantificadores

En esta clase trataremos:

 Considera los siguientes enunciados:

 ¿Qué diferencias observas entre unas y otras?

 Una proposición abierta es un enunciado declarativo

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

 Decide cuáles enunciados son proposiciones

Son proposiciones cuantificadas

Como se observa en las proposiciones anteriores hay

El cuantificador existencial,

El cuantificador universal,

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

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

 NEGACIÓN DEL CUANTIFICADOR

Se representa con el símbolo:

 Considere la siguiente proposición sobre

 Considere la siguiente expresión

 Se representa con el símbolo

 Considero la siguiente proposición sobre

 Determine la negación de las siguientes

También podría gustarte