Logica

Para poder hablar sobre la lógica os explicare en que consiste.

Hay varios tipos de lógica, por ejemplo la lógica filosófica de la que hablaban los antiguos griegos que provenía de logos que significa conocimiento. Pero de la que quiero hablar es la lógica matemática, esta se centra en el estudio de los razonamientos determinando a través de unas reglas y técnicas si un argumento es válido o no.

Pondré un ejemplo:

Aquí muestro una frase normal la cual transformaremos siguiendo unas reglas de lógica básicas para que el significado sea equivalente.

Hay un restaurante en Madrid que prepara comida a cualquiera que no tenga cocina.

Esta frase se equivaldría a:

∃x,y (Restaurante (X , Madrid) TieneCocina (Y) Comida ( X , Y)

Explicare la frase; esta frase dice que existe un restaurante X  y nos dice que X está en Madrid y que para todo Y que no tenga cocina entonces X (el restaurante) preparara comida a Y (sin cocina) tenga cocina entonces .

Espero que os haya servido de introduccion a la logica.