Post on 02-Feb-2016
Aplicaciones de la Lógica Proposicional
• La lógica es usada en la especificación de software y hardware. (dado que estas especificaciones debes ser bien definidas antes de ser desarrolladas).
Aplicaciones de la Lógica Proposicional
• También puede ser usada para el diseño de circuitos lógicos. para construir sistemas expertos, sistemas de verificación de programas y construir programas de computadora.
Aplicaciones de la Lógica Proposicional
• También puede ser usada analizar y resolver muchos problemas de lógica o juegos de lógicas.
APLICACIÓN 1
• Transformación de sentencias de español:
• “You can access the Internet from campus only if you are a computer science major or you are not a freshman.”
• “Ud puede acceder al internet de la Universidad sólo si ud es un ingeniero de sistemas o ud no es un primiparo”
APLICACIÓN 1
Transforme la siguiente sentencia del español a una Fórmula lógica.
“Ud puede acceder al internet de la Universidad sólo si ud es un ingeniero de sistemas o ud no es un primiparo”
RTA a). p: Ud puede acceder al internet de la Universidad sólo si ud es un ingeniero de sistemas o ud no es un primiparo
APLICACIÓN 1
Transformación de sentencias de español:Método: a) leer e interpretar bien las sentencias. b) identificar las proposiciones (atómicas) y representarlas usando variables proposicionales
“Ud puede acceder al internet de la Universidad sólo si ud es un ingeniero de sistemas o ud no es un primiparo”
RTA a). p: accedo a internet de la U.q: soy ing. de sistemas de la U. r: soy primiparo.
APLICACIÓN 1
...c) identificar las conectivas lógicas de lenguaje natural y representarlas en conectivas de la lógica formal “Ud puede acceder al internet de la Universidad sólo si ud es un ingeniero de sistemas o ud no es un primiparo”
RTA c). Conectiva natural Conectiva FormalSólo Si -- >o v
APLICACIÓN 1
...d) Ensamblar o armar la formula lógica usando las variables proposicionales y las conectivas lógicas formales manteniendo el sentido (la relación) de la proposición original. “Ud puede acceder al internet de la Universidad sólo si ud es un ingeniero de sistemas o ud no es un primiparo”
p: accedo a internet de la U.q: soy ing. de sistemas de la U. r: soy primiparo.
APLICACIÓN 2
Transforme la siguiente sentencia del español a una Fórmula lógica.
“Ud no puede montar a la montaña rusa si ud mide menos de 1 metro a menos que ud sea mayor de 16 años”
p: ud no puede subirme a la montaña rusaq: ud mide menos de 1 metro r: ud es mayor de16 años
APLICACIÓN 2
Transforme la siguiente sentencia del español a una Fórmula lógica.
“Ud no puede montar a la montaña rusa si ud mide menos de 1 metro a menos que ud sea mayor de 16 años”
p: ud puede subirme a la montaña rusaq: ud mide menos de 1 metro r: ud es mayor de16 años
APLICACIÓN 2
Transforme la siguiente sentencia del español a una Fórmula lógica.
“Ud no puede montar a la montaña rusa si ud mide menos de 1 metro a menos que (a no ser que) ud sea mayor de 16 años”
p: ud puede subirme a la montaña rusaq: ud mide menos de 1 metro r: ud es mayor de16 años
APLICACIÓN: ESPECIFICACIÓN DE SISTEMAS
EXPRESA LA ESPECIFICACIÓN DEL SISTEMA:
“La respuesta automática se puede enviar cuando el sistema de archivos está llenos”
APLICACIÓN: ESPECIFICACIÓN DE SISTEMAS
EXPRESA LA ESPECIFICACIÓN DEL SISTEMA:
“La respuesta automática no se puede enviar cuando el sistema de archivos está llenos”
p: la rta automática se puede enviar q: el sistema de archivos esta lleno
APLICACIÓN: ESPECIFICACIÓN DE SISTEMAS
Determina si estas especificaciones del sistema son consistentes. (debe haber una asignación de valores de verdad a las variables de las expresiones que haga a todas las expresiones verdaderas)
“El sistema de diagnóstico se almacena en el buffer o se vuelve a transmitir”.“El sistema de diagnóstico no se almacena en el buffer”.“Si el sistema de diagnóstico se almacena en el buffer, entonces se vuelve a transmitir”
APLICACIÓN: ESPECIFICACIÓN DE SISTEMAS
Determina si estas especificaciones del sistema son consistentes
“El sistema de diagnóstico se almacena en el buffer o se vuelve a transmitir”.
APLICACIÓN: ESPECIFICACIÓN DE SISTEMAS
Determina si estas especificaciones del sistema son consistentes.
“El sistema de diagnóstico no se almacena en el buffer”.
APLICACIÓN: ESPECIFICACIÓN DE SISTEMAS
Determina si estas especificaciones del sistema son consistentes.
“Si el sistema de diagnóstico se almacena en el buffer, entonces se vuelve a transmitir”.
APLICACIÓN: ESPECIFICACIÓN DE SISTEMAS
Verdaderas
Determina si estas especificaciones del sistema son consistentes
APLICACIÓN: ESPECIFICACIÓN DE SISTEMAS
Verdadera, p es falsa
Determina si estas especificaciones del sistema son consistentes
APLICACIÓN: ESPECIFICACIÓN DE SISTEMAS
Con p falsa, q Verdad
Determina si estas especificaciones del sistema son consistentes
APLICACIÓN: ESPECIFICACIÓN DE SISTEMAS
Con p falsa, q Verdad da Verdad
Determina si estas especificaciones del sistema son consistentes
APLICACIÓN: ESPECIFICACIÓN DE SISTEMAS
Es consistente
Determina si estas especificaciones del sistema son consistentes
APLICACIÓN: ESPECIFICACIÓN DE SISTEMAS 2
Determina si estas especificaciones del sistema son consistentes“El sistema de diagnóstico se almacena en el buffer o se vuelve a transmitir”.“El sistema de diagnóstico no se almacena en el buffer”.“Si el sistema de diagnóstico se almacena en el buffer, entonces se vuelve a transmitir”“El mensaje de Diagnóstico no se vuelve a transmitir”