Lógica Computacional

“Lectura 01”
Profesor: Odín Miguel Escorza Soria
Ayudante: José Luis Vázquez Lázaro
 Índice
I.- Introducción 3
I.1- Importancia de la lógica el las CC. 3
I.2 Aplicaciones de la Lógica en distintas áreas de las CC. 5
II. Lógica Proposicional 6
II.1 Sintaxis 6
II. 1.1 Lenguaje formal 6
II. 1.2 Recursión 7
II. 1.3 Inducción Estructural 8

Fuentes consultadas 9
I. Introducción.

I.1 Importancia de la lógica el las CC.

Empecemos definiendo lo que es lógica:

La lógica es un método o sistema que nos

permite comprobar la verdad o falsedad de un
argumento utilizando premisas con valores de Algunos conectivos lógicos usados en la lógica.
verdad, es decir, es un sistema que nos permite *
demostrar.

*Imagen recuperada de: https://cmapspublic3.ihmc.us/rid=1MYX8LQP3-24ZRDJW-59TY/Logica%20Matematica.cmap

Pero veamos la importancia de la lógica para las
CC (Ciencias de la computación).

* Si nos vamos a la parte más pequeña posible

hablando de nuestras computadoras vamos a llegar
un punto donde todo se resume en si hay paso de
corriente o no para que algo suceda, esto es un
ejemplo de la lógica aplicada en nuestra rama.

Llegando a la parte más tangible para nosotros

como lo que serían nuestros lenguajes de
programación, los algoritmos que elaboramos
Algunos lenguajes de programación pueden ser demostrados mediante el uso de la
lógica, incluso elaborados.

* Imagen recuperada de: https://m.genbeta.com/actualidad/descubre-cuales-son-los-lenguajes-de-programacion-mas-relevantes-en-2017

I.2 Aplicaciones de la Lógica en distintas áreas de
las CC.
Como mencioné anteriormente la lógica ha servido para el
desarrollo de los lenguajes de programación, pero esa es solo
una parte donde se aplica, si nos adentramos más en las CC *
notaremos que existen otro tipo de disciplinas donde la lógica
toma un rol muy importante en el desarrollo de:

● Lenguajes de programación funcionales.

● Programación paralela.
● Programación concurrente.

A su vez ha sido utilizada para el desarrollo de bases de datos y

de la tan ansiada inteligencia artificial, que hoy en día es una
rama en desarrollo en busca de poder generar sistemas
pensantes o lo más parecidos a nosotros. Representación de inteligencia artificial

* Imagen recuperada de: https://pixabay.com/es/inteligencia-artificial-cerebro-3685928/

II. Lógica Proposicional *

II.1 Sintaxis:
II. 1.1 Lenguaje formal

Definimos un lenguaje formal como un lenguaje

con un conjunto de símbolos especificados
llamado alfabeto y además otro conjunto de
reglas para construir las palabras del lenguaje,
estas reglas generalmente se dan de forma
recursiva. Dentro de la definición de lenguajes
formales también podemos encontrar los
teoremas, que son afirmaciones demostrables
Representación gráfica de
dentro del mismo lenguaje y con las reglas
un lenguaje formal
dadas.

* Imagen recuperada de: https://es.wikipedia.org/wiki/Archivo:Entidades_sint%C3%A1cticas_2.svg

 II. 1.2 Recursión

Como se mencionó en la diapositiva anterior, la recursión es el recurso utilizado

para dar la definición de un lenguaje, es decir, sus reglas para poder generar
cadenas dentro de ese lenguaje.

La recursión para la generación de lenguajes consta de dos partes, las reglas

base, de las cuales derivan el conjunto de símbolos que se pueden utilizar y las
reglas recursivas, que definen los lineamientos para generar una cadena válida.

Ilustración de la recursión
* Imagen recuperada de: https://www.flickr.com/photos/torley/2361164281
 II. 1.3 Inducción Estructural

Así como la recursión en lenguajes se utiliza para la construcción o formalización de

sus reglas ahora hablaremos del método que nos permitirá a grandes rasgos
demostrar las propiedades de nuestro lenguaje.

“Inducción Estructural
Sea A un conjunto definido inductivamente y P una propiedad sobre los elementos de
A. Supongamos que
1. Para cada esquema básico en la definición de A, si x es introducido en A por la
misma, entonces P(x) es verdadera.
2. Para cada esquema inductivo en la definición de A, si P es verdadera para cada
hipótesis del esquema entonces P es verdadera para la conclusión del esquema.
Entonces, P(x) es verdadera para todo x en A”₁

1.- Recuperado de: http://repem.exactas.unlpam.edu.ar/cdrepem10/memorias/comunicaciones/Reflexiones/CB%2022.pdf, paguina #11

Fuentes consultadas:

● https://www.educacioneningenieria.org/index.php/edi/article/viewFile/233/166

● http://repem.exactas.unlpam.edu.ar/cdrepem10/memorias/comunicaciones/Reflexiones/CB%2022.p
df

● https://valhalla.fciencias.unam.mx/libros/lc/MathematicalLogicForComputerScience%5bBen-Ari%5d.
pdf

● https://valhalla.fciencias.unam.mx/libros/lc/DeductionSystems%5bSocher,Johann%5d.pdf

● https://valhalla.fciencias.unam.mx/libros/lc/LogicInComputerScience%5bHuth,Ryan%5d.pdf

● https://valhalla.fciencias.unam.mx/libros/lc/LogicaYArgumentacion%5bBustamante%5d.pdf