Aplicaciones de la Lógica

Presentación del tema: "Aplicaciones de la Lógica"— Transcripción de la presentación:

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

2 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).

3 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.

4 Aplicaciones de la Lógica Proposicional
También puede ser usada analizar y resolver muchos problemas de lógica o juegos de lógicas.

5 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”

6 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

7 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.

8 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

9 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.

10 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

11 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

12 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

13 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”

14 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

15 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”

16 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”.

17 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”.

18 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”.

19 APLICACIÓN: ESPECIFICACIÓN DE SISTEMAS
Determina si estas especificaciones del sistema son consistentes Verdaderas

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

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

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

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

24 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”