Cuanticadores

Matematicas Discretas
Tatiana Ospina
Universidad Manuela Beltran
Departamento de Ciencias Basicas
Tatiana Ospina Matematicas Discretas
Cuanticadores
Cuanticadores
Traducci on del Lenguaje Natural al Formal
Cuanticadores
Sentencia Negacion Formula equivalente
x P(x) (x P(x)) x P(x)
x P(x) (x P(x)) x P(x)
Ejemplo:
x (x > x
2
)
(x (x > x
2
))
x (x
3
= 8)
(x (x
3
= 8))
Tatiana Ospina Matematicas Discretas
Cuanticadores
Cuanticadores
Traducci on del Lenguaje Natural al Formal
Cuanticadores
Sentencia Negacion Formula equivalente
x P(x) (x P(x)) x P(x)
x P(x) (x P(x)) x P(x)
Ejemplo:
x (x > x
2
)
(x (x > x
2
))
x (x
3
= 8)
(x (x
3
= 8))
Tatiana Ospina Matematicas Discretas
Cuanticadores
Cuanticadores
Traducci on del Lenguaje Natural al Formal
Cuanticadores
Sentencia Negacion Formula equivalente
x P(x) (x P(x)) x P(x)
x P(x) (x P(x)) x P(x)
Ejemplo:
x (x > x
2
)
(x (x > x
2
))
x (x
3
= 8)
(x (x
3
= 8))
Tatiana Ospina Matematicas Discretas
Cuanticadores
Cuanticadores
Traducci on del Lenguaje Natural al Formal
Cuanticadores
Sentencia Negacion Formula equivalente
x P(x) (x P(x)) x P(x)
x P(x) (x P(x)) x P(x)
Ejemplo:
x (x > x
2
)
(x (x > x
2
))
x (x
3
= 8)
(x (x
3
= 8))
Tatiana Ospina Matematicas Discretas
Cuanticadores
Cuanticadores
Traducci on del Lenguaje Natural al Formal
Traduccion del Lenguaje Natural al Formal
Expresemos la frase:
Todo estudiante de Matematicas Discretas ha estudiado calculo
Ahora consideremos un universo mas general, una persona cualquiera
Para toda persona x, si la persona x es un estudiante de Discretas
entonces x ha estudiado Calculo.
Ahora podemos referirnos a otras asignaturas estudiadas por la persona x
El estudiante x ha estudiado la asignatura y
Tatiana Ospina Matematicas Discretas
Cuanticadores
Cuanticadores
Traducci on del Lenguaje Natural al Formal
Traduccion del Lenguaje Natural al Formal
Expresemos la frase:
Todo estudiante de Matematicas Discretas ha estudiado calculo
Ahora consideremos un universo mas general, una persona cualquiera
Para toda persona x, si la persona x es un estudiante de Discretas
entonces x ha estudiado Calculo.
Ahora podemos referirnos a otras asignaturas estudiadas por la persona x
El estudiante x ha estudiado la asignatura y
Tatiana Ospina Matematicas Discretas
Cuanticadores
Cuanticadores
Traducci on del Lenguaje Natural al Formal
Traduccion del Lenguaje Natural al Formal
Expresemos la frase:
Todo estudiante de Matematicas Discretas ha estudiado calculo
Ahora consideremos un universo mas general, una persona cualquiera
Para toda persona x, si la persona x es un estudiante de Discretas
entonces x ha estudiado Calculo.
Ahora podemos referirnos a otras asignaturas estudiadas por la persona x
El estudiante x ha estudiado la asignatura y
Tatiana Ospina Matematicas Discretas
Cuanticadores
Cuanticadores
Traducci on del Lenguaje Natural al Formal
Traduccion del Lenguaje Natural al Formal
Expresemos la frase:
Todo estudiante de Matematicas Discretas ha estudiado calculo
Ahora consideremos un universo mas general, una persona cualquiera
Para toda persona x, si la persona x es un estudiante de Discretas
entonces x ha estudiado Calculo.
Ahora podemos referirnos a otras asignaturas estudiadas por la persona x
El estudiante x ha estudiado la asignatura y
Tatiana Ospina Matematicas Discretas
Cuanticadores
Cuanticadores
Traducci on del Lenguaje Natural al Formal
Traduccion del Lenguaje Natural al Formal
Expresemos la frase:
Todo estudiante de Matematicas Discretas ha estudiado calculo
Ahora consideremos un universo mas general, una persona cualquiera
Para toda persona x, si la persona x es un estudiante de Discretas
entonces x ha estudiado Calculo.
Ahora podemos referirnos a otras asignaturas estudiadas por la persona x
El estudiante x ha estudiado la asignatura y
Tatiana Ospina Matematicas Discretas
Cuanticadores
Cuanticadores
Traducci on del Lenguaje Natural al Formal
Traduccion del Lenguaje Natural al Formal
Expresemos la frase:
Todo estudiante de Matematicas Discretas ha estudiado calculo
Ahora consideremos un universo mas general, una persona cualquiera
Para toda persona x, si la persona x es un estudiante de Discretas
entonces x ha estudiado Calculo.
Ahora podemos referirnos a otras asignaturas estudiadas por la persona x
El estudiante x ha estudiado la asignatura y
Tatiana Ospina Matematicas Discretas
Cuanticadores
Cuanticadores
Traducci on del Lenguaje Natural al Formal
Traduccion del Lenguaje Natural al Formal
Expresemos la frase:
Todo estudiante de Matematicas Discretas ha estudiado calculo
Ahora consideremos un universo mas general, una persona cualquiera
Para toda persona x, si la persona x es un estudiante de Discretas
entonces x ha estudiado Calculo.
Ahora podemos referirnos a otras asignaturas estudiadas por la persona x
El estudiante x ha estudiado la asignatura y
Tatiana Ospina Matematicas Discretas
Cuanticadores
Cuanticadores
Traducci on del Lenguaje Natural al Formal
Traduccion del Lenguaje Natural al Formal
Expresemos la frase:
Alg un estudiante de Discretas ha visitado Choconta
Ahora consideremos un universo mas general, una persona cualquiera x
Existe una persona x, que cumple con: x es una persona de la clase y x
ha visitado Choconta
Ahora podemos referirnos a otros lugares visitados por la persona x
El estudiante x ha estudiado la asignatura y
Tatiana Ospina Matematicas Discretas
Cuanticadores
Cuanticadores
Traducci on del Lenguaje Natural al Formal
Traduccion del Lenguaje Natural al Formal
Expresemos la frase:
Alg un estudiante de Discretas ha visitado Choconta
Ahora consideremos un universo mas general, una persona cualquiera x
Existe una persona x, que cumple con: x es una persona de la clase y x
ha visitado Choconta
Ahora podemos referirnos a otros lugares visitados por la persona x
El estudiante x ha estudiado la asignatura y
Tatiana Ospina Matematicas Discretas
Cuanticadores
Cuanticadores
Traducci on del Lenguaje Natural al Formal
Traduccion del Lenguaje Natural al Formal
Expresemos la frase:
Alg un estudiante de Discretas ha visitado Choconta
Ahora consideremos un universo mas general, una persona cualquiera x
Existe una persona x, que cumple con: x es una persona de la clase y x
ha visitado Choconta
Ahora podemos referirnos a otros lugares visitados por la persona x
El estudiante x ha estudiado la asignatura y
Tatiana Ospina Matematicas Discretas
Cuanticadores
Cuanticadores
Traducci on del Lenguaje Natural al Formal
Traduccion del Lenguaje Natural al Formal
Expresemos la frase:
Alg un estudiante de Discretas ha visitado Choconta
Ahora consideremos un universo mas general, una persona cualquiera x
Existe una persona x, que cumple con: x es una persona de la clase y x
ha visitado Choconta
Ahora podemos referirnos a otros lugares visitados por la persona x
El estudiante x ha estudiado la asignatura y
Tatiana Ospina Matematicas Discretas
Cuanticadores
Cuanticadores
Traducci on del Lenguaje Natural al Formal
Traduccion del Lenguaje Natural al Formal
Expresemos la frase:
Alg un estudiante de Discretas ha visitado Choconta
Ahora consideremos un universo mas general, una persona cualquiera x
Existe una persona x, que cumple con: x es una persona de la clase y x
ha visitado Choconta
Ahora podemos referirnos a otros lugares visitados por la persona x
El estudiante x ha estudiado la asignatura y
Tatiana Ospina Matematicas Discretas
Cuanticadores
Cuanticadores
Traducci on del Lenguaje Natural al Formal
Traduccion del Lenguaje Natural al Formal
Expresemos la frase:
Alg un estudiante de Discretas ha visitado Choconta
Ahora consideremos un universo mas general, una persona cualquiera x
Existe una persona x, que cumple con: x es una persona de la clase y x
ha visitado Choconta
Ahora podemos referirnos a otros lugares visitados por la persona x
El estudiante x ha estudiado la asignatura y
Tatiana Ospina Matematicas Discretas
Cuanticadores
Cuanticadores
Traducci on del Lenguaje Natural al Formal
Traduccion del Lenguaje Natural al Formal
Expresemos la frase:
Alg un estudiante de Discretas ha visitado Choconta
Ahora consideremos un universo mas general, una persona cualquiera x
Existe una persona x, que cumple con: x es una persona de la clase y x
ha visitado Choconta
Ahora podemos referirnos a otros lugares visitados por la persona x
El estudiante x ha estudiado la asignatura y
Tatiana Ospina Matematicas Discretas
Cuanticadores
Cuanticadores
Traducci on del Lenguaje Natural al Formal
Traduccion del Lenguaje Natural al Formal
Traduzcamos al lenguaje formal:
1
Alguien de la clase habla Italiano
2
Todos los sujetos de la UMB son amigables
3
Hay una persona de la clase que no nacio en Bogota
4
Una persona de la clase ha visto una pelicula
5
Ning un estudiante de la clase ha cursado una asignatura de
Matematicas.
En particular para esta ultima sentencia escribo la forma correcta de su
traduccion formal:
x (C(x) A(x))
C(x) : x es estudiante de la clase
A(x) : x ha es estudiado una asignatura de Matematicas
Tatiana Ospina Matematicas Discretas
Cuanticadores
Cuanticadores
Traducci on del Lenguaje Natural al Formal
Traduccion del Lenguaje Natural al Formal
Traduzcamos al lenguaje formal:
1
Alguien de la clase habla Italiano
2
Todos los sujetos de la UMB son amigables
3
Hay una persona de la clase que no nacio en Bogota
4
Una persona de la clase ha visto una pelicula
5
Ning un estudiante de la clase ha cursado una asignatura de
Matematicas.
En particular para esta ultima sentencia escribo la forma correcta de su
traduccion formal:
x (C(x) A(x))
C(x) : x es estudiante de la clase
A(x) : x ha es estudiado una asignatura de Matematicas
Tatiana Ospina Matematicas Discretas
Cuanticadores
Cuanticadores
Traducci on del Lenguaje Natural al Formal
Traduccion del Lenguaje Natural al Formal
Traduzcamos al lenguaje formal:
1
Alguien de la clase habla Italiano
2
Todos los sujetos de la UMB son amigables
3
Hay una persona de la clase que no nacio en Bogota
4
Una persona de la clase ha visto una pelicula
5
Ning un estudiante de la clase ha cursado una asignatura de
Matematicas.
En particular para esta ultima sentencia escribo la forma correcta de su
traduccion formal:
x (C(x) A(x))
C(x) : x es estudiante de la clase
A(x) : x ha es estudiado una asignatura de Matematicas
Tatiana Ospina Matematicas Discretas
Cuanticadores
Cuanticadores
Traducci on del Lenguaje Natural al Formal
Traduccion del Lenguaje Natural al Formal
Traduzcamos al lenguaje formal:
1
Alguien de la clase habla Italiano
2
Todos los sujetos de la UMB son amigables
3
Hay una persona de la clase que no nacio en Bogota
4
Una persona de la clase ha visto una pelicula
5
Ning un estudiante de la clase ha cursado una asignatura de
Matematicas.
En particular para esta ultima sentencia escribo la forma correcta de su
traduccion formal:
x (C(x) A(x))
C(x) : x es estudiante de la clase
A(x) : x ha es estudiado una asignatura de Matematicas
Tatiana Ospina Matematicas Discretas
Cuanticadores
Cuanticadores
Traducci on del Lenguaje Natural al Formal
Traduccion del Lenguaje Natural al Formal
Traduzcamos al lenguaje formal:
1
Alguien de la clase habla Italiano
2
Todos los sujetos de la UMB son amigables
3
Hay una persona de la clase que no nacio en Bogota
4
Una persona de la clase ha visto una pelicula
5
Ning un estudiante de la clase ha cursado una asignatura de
Matematicas.
En particular para esta ultima sentencia escribo la forma correcta de su
traduccion formal:
x (C(x) A(x))
C(x) : x es estudiante de la clase
A(x) : x ha es estudiado una asignatura de Matematicas
Tatiana Ospina Matematicas Discretas
Cuanticadores
Cuanticadores
Traducci on del Lenguaje Natural al Formal
Traduccion del Lenguaje Natural al Formal
Traduzcamos al lenguaje formal:
1
Alguien de la clase habla Italiano
2
Todos los sujetos de la UMB son amigables
3
Hay una persona de la clase que no nacio en Bogota
4
Una persona de la clase ha visto una pelicula
5
Ning un estudiante de la clase ha cursado una asignatura de
Matematicas.
En particular para esta ultima sentencia escribo la forma correcta de su
traduccion formal:
x (C(x) A(x))
C(x) : x es estudiante de la clase
A(x) : x ha es estudiado una asignatura de Matematicas
Tatiana Ospina Matematicas Discretas
Cuanticadores
Cuanticadores
Traducci on del Lenguaje Natural al Formal
Traduccion del Lenguaje Natural al Formal
Traduzcamos al lenguaje formal:
1
Alguien de la clase habla Italiano
2
Todos los sujetos de la UMB son amigables
3
Hay una persona de la clase que no nacio en Bogota
4
Una persona de la clase ha visto una pelicula
5
Ning un estudiante de la clase ha cursado una asignatura de
Matematicas.
En particular para esta ultima sentencia escribo la forma correcta de su
traduccion formal:
x (C(x) A(x))
C(x) : x es estudiante de la clase
A(x) : x ha es estudiado una asignatura de Matematicas
Tatiana Ospina Matematicas Discretas
Cuanticadores
Cuanticadores
Traducci on del Lenguaje Natural al Formal
Traduccion del Lenguaje Natural al Formal
Un pasajero de una aerolnea es considerado viajero elite si vuela mas
35000 millas al a no o si en un mes toma 3 vuelos
No se puede hacer una copia de seguridad del sistema de archivos si hay
un usuario en ese momento conectado
Se puede guardar al menos un mensaje de correo. Si hay un disco con
mas de 10 Kb de espacio libro
Tatiana Ospina Matematicas Discretas
Cuanticadores
Cuanticadores
Traducci on del Lenguaje Natural al Formal
Traduccion del Lenguaje Natural al Formal
Un pasajero de una aerolnea es considerado viajero elite si vuela mas
35000 millas al a no o si en un mes toma 3 vuelos
No se puede hacer una copia de seguridad del sistema de archivos si hay
un usuario en ese momento conectado
Se puede guardar al menos un mensaje de correo. Si hay un disco con
mas de 10 Kb de espacio libro
Tatiana Ospina Matematicas Discretas
Cuanticadores
Cuanticadores
Traducci on del Lenguaje Natural al Formal
Traduccion del Lenguaje Natural al Formal
Un pasajero de una aerolnea es considerado viajero elite si vuela mas
35000 millas al a no o si en un mes toma 3 vuelos
No se puede hacer una copia de seguridad del sistema de archivos si hay
un usuario en ese momento conectado
Se puede guardar al menos un mensaje de correo. Si hay un disco con
mas de 10 Kb de espacio libro
Tatiana Ospina Matematicas Discretas
Cuanticadores
Cuanticadores
Traducci on del Lenguaje Natural al Formal
Traduccion del Lenguaje Natural al Formal
Un pasajero de una aerolnea es considerado viajero elite si vuela mas
35000 millas al a no o si en un mes toma 3 vuelos
No se puede hacer una copia de seguridad del sistema de archivos si hay
un usuario en ese momento conectado
Se puede guardar al menos un mensaje de correo. Si hay un disco con
mas de 10 Kb de espacio libro
Tatiana Ospina Matematicas Discretas
Cuanticadores
Cuanticadores
Traducci on del Lenguaje Natural al Formal
Traduccion del Lenguaje Natural al Formal
Un pasajero de una aerolnea es considerado viajero elite si vuela mas
35000 millas al a no o si en un mes toma 3 vuelos
No se puede hacer una copia de seguridad del sistema de archivos si hay
un usuario en ese momento conectado
Se puede guardar al menos un mensaje de correo. Si hay un disco con
mas de 10 Kb de espacio libro
Tatiana Ospina Matematicas Discretas
Cuanticadores
Cuanticadores
Traducci on del Lenguaje Natural al Formal
Traduccion del Lenguaje Natural al Formal
Un pasajero de una aerolnea es considerado viajero elite si vuela mas
35000 millas al a no o si en un mes toma 3 vuelos
No se puede hacer una copia de seguridad del sistema de archivos si hay
un usuario en ese momento conectado
Se puede guardar al menos un mensaje de correo. Si hay un disco con
mas de 10 Kb de espacio libro
Tatiana Ospina Matematicas Discretas
Cuanticadores
Cuanticadores
Traducci on del Lenguaje Natural al Formal
Traduccion del Lenguaje Natural al Formal
Un pasajero de una aerolnea es considerado viajero elite si vuela mas
35000 millas al a no o si en un mes toma 3 vuelos
No se puede hacer una copia de seguridad del sistema de archivos si hay
un usuario en ese momento conectado
Se puede guardar al menos un mensaje de correo. Si hay un disco con
mas de 10 Kb de espacio libro
Tatiana Ospina Matematicas Discretas