DEFINICION E IMPORTANCIA

Lógica es la ciencia que se plantea estudiar formas de razonamiento validas. 
 

           RESEÑA HISTORICA DE LA LOGICA

El primer sistema de lógica donde se trato de identificar las formas del razonamiento humano, para tratar de crear criterios para discernir en las discusiones filosóficas.

La siguiente etapa comienza en el s. XVII donde la Lógica matemática o Lógica simbólica en donde el deseo de extender la aplicación de la lógica a las matemáticas.

El comienzo del siglo XX supuso un auge de la lógica, donde  se propuso mostrar que la aritmética era una extensión de la lógica.

La tercera época de la lógica comienza con la aparición de los ordenadores. Los ordenadores estaban resolviendo problemas en muchos campos y era natural que se pretendiera utilizarlos para demostrar automáticamente los teoremas. Esta nueva época a producido mucho resultados en el campo de las aplicaciones prácticas como la elaboración de estrategias de programación que aprovecharon los conocimientos de la lógica.

Los puntos que relacionan la lógica y la informática:

· Los ordenadores están diseñados para mecanizar trabajos intelectuales.Cuando pretendemos que el ordenador realice por si solo razonamientos entramos en la parte de la informática conocida como “inteligencia artificial”, para esto necesitamos formalizar los razonamientos, y de esto se ocupa la Lógica.

· Además, Lógica y programación también se relacionan. Los programas cada vez son mas complejos, menos fiables y mas difíciles de mantener.