Aplicaciones de la Lógica Tema: Lógica Proposicional Prof. Eduard puerto

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: 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 Formal Só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 rusa q: 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 rusa q: 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 rusa q: 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 Determina si estas especificaciones del sistema son consistentes Verdaderas

APLICACIÓN: ESPECIFICACIÓN DE SISTEMAS Determina si estas especificaciones del sistema son consistentes Verdadera, p es falsa

APLICACIÓN: ESPECIFICACIÓN DE SISTEMAS Determina si estas especificaciones del sistema son consistentes Con p falsa, q Verdad

APLICACIÓN: ESPECIFICACIÓN DE SISTEMAS Determina si estas especificaciones del sistema son consistentes Con p falsa, q Verdad da Verdad

APLICACIÓN: ESPECIFICACIÓN DE SISTEMAS Determina si estas especificaciones del sistema son consistentes Es consistente

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”