Lógica y Razonamiento
La Lógica
La lógica es la disciplina filosófica que aborda el estudio de los principios del razonamiento correcto por medio de signos y el lenguaje.
Lenguaje Formal
Un lenguaje formal, como la lógica, consta de un cálculo y una interpretación. El cálculo es una serie de signos que pueden ser sometidos a ciertas operaciones, y la interpretación consiste en asignar un significado a cada término o expresión de ese cálculo.