En lógica matemática , las reglas de formación son reglas para describir qué cadenas de símbolos formadas a partir del alfabeto de un lenguaje formal son sintácticamente válidas dentro del lenguaje. Estas reglas solo abordan la ubicación y manipulación de las cadenas del idioma. No describe nada más sobre un lenguaje, como su semántica (es decir, lo que significan las cadenas). (Ver también gramática formal ).
Lenguaje formal
Un lenguaje formal es un conjunto organizado de símbolos cuya característica esencial es que puede definirse con precisión en términos de las formas y ubicaciones de esos símbolos. Un lenguaje así puede definirse, entonces, sin ninguna referencia a los significados de ninguna de sus expresiones; puede existir antes de que se le asigne cualquier interpretación, es decir, antes de que tenga algún significado. Una gramática formal determina qué símbolos y conjuntos de símbolos son fórmulas en un lenguaje formal.
Sistemas formales
Un sistema formal (también llamado cálculo lógico o sistema lógico ) consiste en un lenguaje formal junto con un aparato deductivo (también llamado sistema deductivo ). El aparato deductivo puede consistir en un conjunto de reglas de transformación (también llamadas reglas de inferencia ) o un conjunto de axiomas , o tener ambos. Se utiliza un sistema formal para derivar una expresión de una o más expresiones. Los cálculos proposicionales y de predicados son ejemplos de sistemas formales.
Lógica proposicional y de predicados
Las reglas de formación de un cálculo proposicional pueden, por ejemplo, tomar una forma tal que;
- si tomamos Φ como una fórmula proposicional, también podemos tomar Φ ser una fórmula;
- si tomamos Φ y Ψ como fórmulas proposicionales también podemos tomar (Φ Ψ), (Φ Ψ), (Φ Ψ) y (Φ Ψ) para ser también fórmulas.
Un cálculo de predicados generalmente incluirá las mismas reglas que un cálculo proposicional, con la adición de cuantificadores tales que si tomamos Φ como una fórmula de lógica proposicional y α como una variable, entonces podemos tomar (α) Φ y (α) Φ cada una para ser fórmulas de nuestro cálculo de predicados.