La lógica computacional es la misma lógica matemática aplicada al contexto de las

ciencias de la computación. Su uso es fundamental en varios niveles: en los

circuitos computacionales, en la programación lógica y en el análisis y
optimización (de recursos temporales y espaciales) de algoritmos.
La lógica se extiende al corazón de la informática a medida que surge como una
disciplina: El trabajo de Alan Turing sobre el Entscheidungsproblem seguido del
trabajo de Kurt Gödel sobre teoremas incompletos. La noción de la computadora
de uso general que surgió de este trabajo fue de gran importancia para los
diseñadores de la maquinaria informática en la década de 1940.

La lógica computacional o lógica formal siempre ha sido una herramienta

fundamental para el progreso de las ciencias computacionales, y sus desarrollos
son la base para elaborar soluciones informáticas, tanto en software como en
hardware. Es bien conocido que los profesionales que aplican adecuadamente el
razonamiento lógico tiene mayores posibilidades de éxito, tanto en lo profesional
como en lo personal, ya que analizar, saber buscar posibilidades, demostrar o
refutar afirmaciones diversas, le permite a quien tiene ese conocimiento y manejo
ser un mejor ser humano y por consiguiente un profesional con mayores y mejores
aptitudes y actitudes para vivir en una sociedad como la actual, necesitada de
ecuanimidad, raciocinio y capacidad de análisis para solucionar sus cada vez más
complejos problemas.

A través de ella resolvemos problemas de forma sencilla usando la tecnología y la

programación. Ya conocemos que la lógica computacional hace referencia al
proceso de pensamiento enfocado en formular un problema y generar posibles
soluciones a través de un computador.

La lógica proposicional, también llamada lógica de enunciados, lógica de orden

cero o cálculo proposicional, es un sistema formal cuyos elementos más simples
representan proposiciones o enunciados, y cuyas constantes lógicas, llamadas
conectivas lógicas, representan operaciones sobre proposiciones, capaces de
formar otras proposiciones de mayor complejidad.
 Es también conocida con el nombre de lógica de enunciados y lógica de las
funciones de verdad.
 Se considera como la rama más antigua de la lógica matemática.
 Estudia los diferentes métodos de relaciones que se presentan entre los
conectores lógicos y los enlaces.
 Es una ciencia que admite el razonamiento por medio de un instrumento
que se encarga de evaluar primeramente los problemas simples y luego los
más complejos.
 Se considera como un tipo de lenguaje simbólico que estudian los
razonamientos del lenguaje natural.
  Cuenta con un alfabeto, una sintaxis y una semántica
 Solamente traduce el mensaje simbólico que se encuentra en las oraciones
con un lenguaje natural y en un sentido completo.
 Los enunciados que forman parte de la lógica proposicional deberán
ser verdaderos o falsos.

La lógica proposicional forma parte de la lógica clásica, y permite estudiar las

implicaciones de las variables proposicionales, así como los valores de verdad de
las proposiciones. Estos valores se construyen a partir de conectores lógicos, y
son aplicables tanto en matemáticas como en otras ramas de conocimiento.

Una lógica de primer orden, también llamada lógica predicativa, lógica de

predicados o cálculo de predicados, es un sistema formal diseñado para estudiar
la inferencia en los lenguajes de primer orden.1 Los lenguajes de primer orden
son, a su vez lenguajes formales con cuantificadores que alcanzan solo a
variables de individuo, y con predicados y funciones cuyos argumentos son solo
constantes o variables de individuo.

La lógica de predicados es utilizada para expresar el significado de un amplio

alcance de proposiciones en matemáticas y ciencias de cómputos. De manera que
nos permite razonar y explorar relaciones entre los objetos.