LGICA FORMAL

INTEGRANTES DE EQUIPO:
LICENCIATURA EN CIENCIAS AVILS LPEZ ANA HYATSI
COMPUTACIONALES BARRAGAN MADERA CARLOS YAEL
21 ISLAS MENESES MARA FERNANDA
Asignatura: Lgica Computacional MARTNEZ PREZ JORGE ADRIN
VILLAVICENCIO GRAJEDA MARA FERNANDA
Introduccin
Fundador Aristteles

Supone que la lgica es una ciencia objetiva que estudia el

pensamiento para determinar su orden y estructura desde la
validez o invalidez de los predicables y predicamentos.

Considera la forma en omisin del contenido emprico.

"Es un tipo de lgica que estudia la estructura del

pensamiento, sin embargo, no le interesan la veracidad de
los contenidos"
cARACTERSTICAS
Razonamiento
Ciencia formalmente Conocimiento
vlido

Estudia la deduccin como proceso formal capaz de generar

nuevos elementos de conocimiento a partir de otro existente.

Conclusin Premisas
Ciencia Deduccin
 Software y/o aplicaciones que se utilizan
El Asistente para Deduccin Natural (ADN) es una
herramienta didctica que asiste al alumno que se inicia
en la tcnica de Deduccin Natural a elaborar sus propias
deducciones.
El lenguaje de programacin PROLOG es conocido en el
medio de investigacin en Inteligencia Artificial.
 Usos/aplicaciones de equipos y/o dispositivos que utilizan
Un sistema lgico formal se puede ver como
un sistema formal deductivo universal, en
el mismo sentido que las mquinas de Turing
universales.
Mquina de Turing

Es un modelo computacional que realiza una lectura/escritura

de manera automtica sobre una entrada llamada cinta,
generando una salida en esta misma

CINTA=> L/E =>CINTA

Con este sencillo aparato es posible realizar cualquier

cmputo que un equipo digital sea capaz de realizar
Usos/aplicaciones de equipos y/o dispositivos que utilizan

APLICACIONES
Control de complejos procesos industriales

Diseo de dispositivos artificiales de deduccin automtica

Construccin de artefactos electrnicos
artefactos de uso domstico
artefactos de entretenimiento
Sistemas de diagnstico
Usos/aplicaciones de equipos y/o dispositivos que utilizan

Sistemas
En ellos las acciones a
de decisin tomar se encuentran
almacenadas en la base de
Sistemas
conocimiento del
expertos computador en forma de
reglas lingsticas.
Sistemas
de control
Ejemplos de aplicacin para la solucin de problemas
La cena de Guille

Es la hora de la cena, a Guille no le gusta la sopa

pero oye decir a su mam: Si no te acabas la sopa,
te irs a la cama sin ver la tele. Con esfuerzo,
Guille se come la sopa. Cuando le avisa a su mam que
se la ha terminado, su madre responde: Muy bien!,
lavate los dientes y a la cama.
 Cundo un razonamiento es correcto?
1. Si el agua alcanza los 100 2. Si el agua baja a -5
grados, el agua se evapora. grados, el agua se congela.

es cierto que es cierto que

Si el agua no alcanza los 100 Si el agua no baja a -5 grados,

grados, el agua no se evapora? el agua no se congela?

CIERTO FALSO
imgenes representativas
BIBLIOGRAFA/CIBERGRAFA
http://yourhomework-easy.blogspot.mx/2012/09/logica-material-y-formal.html
https://books.google.com.mx/books?id=pS_6oZVbY2cC&printsec=frontcover&dq=l%C3%B3gica+c
omputacional&hl=es&sa=X&redir_esc=y#v=onepage&q=l%C3%B3gica%20computacional&f=false

Referencia de los Ejemplos

https://www.youtube.com/watch?v=7qCGT0DDEpE
https://www.youtube.com/watch?v=qzPfqpN00b8
https://www.youtube.com/watch?v=YHM51NfUJBU

Software y/o aplicaciones que se utilizan para el tipo de lgica asignada

http://blogs.ua.es/friedrichludwiggottlobfrege/software-sobre-logica/
http://blogs.ua.es/friedrichludwiggottlobfrege/el-lenguaje-prolog-o-prolog/