aplicaciones de la lógica tema: lógica proposicional prof. eduard puerto

Aplicaciones de la Lógica

Tema: Lógica ProposicionalProf. 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).


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


• 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


“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


“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


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


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


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”


Determina si estas especificaciones del sistema son consistentes

“El sistema de diagnóstico se almacena en el buffer o se vuelve a transmitir”.


Determina si estas especificaciones del sistema son consistentes.

“El sistema de diagnóstico no se almacena en el buffer”.


Determina si estas especificaciones del sistema son consistentes.

“Si el sistema de diagnóstico se almacena en el buffer, entonces se vuelve a transmitir”.


Verdaderas



Verdadera, p es falsa



Con p falsa, q Verdad



Con p falsa, q Verdad da Verdad



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”

aplicaciones de la lógica tema: lógica proposicional prof. eduard puerto

Documents