La entrada original en mi otro blog aquí: LINK
Este lenguaje es una representación basada en la forma y no en el contenido. Esto evita las posibles ambigüedades que podemos encontrar en el lenguaje. Consiste en formalizar los hechos en proposiciones atómicas, que sólo pueden ser verdaderas o falsas, y proposiciones moleculares.
Podemos abstraer con Lógica Proposicional o con Lógica de Predicados:
(Definiciones sacadas de la Wikipedia)
- Lógica Proposicional: las fórmulas representan proposiciones y las constantes lógicas son operaciones sobre las fórmulas que producen otras fórmulas de mayor complejidad.
- Lógica de Predicados: diseñado para estudiar la inferencia en los lenguajes de primer orden. Los lenguajes de primer orden son, a su vez, lenguajes formales con cuantificadores que alcanzan sólo a variables de individuo, y con predicados y funciones cuyos argumentos son sólo constantes o variables de individuo.
En el siguiente post de las clases de teoría explicaré la lógica proposicional.