Lógica computacional

Lógica Matemática en la Computación

Abstract- La lógica matemática es una parte de la lógica y las matemáticas, que consiste en el estudio matemático de la lógica y en la aplicación de esteestudio a otras áreas de las matemáticas.
I. Introducción
El siguiente trabajo tiene como objetivo comprender y profundizar sobre la importancia del estudio de la lógica en nuestras vidas, para lo cual esnecesario realizar un recorrido por las distintas nociones de esta disciplina, con el fin de acercarnos un poco a su complejidad. La matemática siempre ha utilizado símbolos particulares paraexpresar sus resultados. A continuación, realizaremos una apreciación más profunda de todo lo que abarca el mundo de la lógica, esto nos dará bases y podremos desarrollar habilidades y destrezas que nosayudara principalmente nuestra formación profesional.
II. Lógica Matemática
Lógica Matemática
La lógica matemática es una parte de la lógica y las matemáticas, que consiste en el estudio matemático dela lógica y en la aplicación de este estudio a otras áreas de las matemáticas. La lógica matemática guarda estrechas conexiones con las ciencias de la computación y la lógica filosófica.
La lógicamatemática estudia los lenguajes formales en relación con el modo en el que codifican nociones intuitivas de objetos matemáticos como conjuntos, números, demostraciones y computación.

LenguajesFormales:
La matemática siempre ha utilizado símbolos particulares para expresar su resultado. Este lenguaje particular de la matemática es un lenguaje semiformalizado, que toma de los lenguajesnaturales (como el ingles o el español) lo que necesita y agrega símbolos para hacer los resultado más precisos. Pero estos símbolos tienen “reglas gramaticales” precisas de tal modo que “3+4=7”es unaexpresión que tiene sentido, mientras que “+++=8-“no lo tiene.
Un lenguaje formal esta dado por un conjunto de símbolos que se combinan entre si para formar expresiones bien formadas mediante reglas de...