Siguiente: Semántica
Arriba: Lógicas
formales
Anterior: Lógicas
formales
Subsecciones
La sintaxis es el conjunto de normas o reglas para la buena
formación de enunciados.
La gramática de un idioma, del español
por ejemplo, introduce una clasificación de palabras en clases
gramaticales y una colección de reglas para concatenar
palabras en esas clases y para declinar los vocablos con el fin de
formar frases, oraciones y discursos bien
estructurados.
En una lógica formal se introduce un alfabeto que
consiste de constantes, nombres de funciones, nombres de
predicados, conectivos, cuantificadores y operadores modales,
y una colección de reglas para concatenar símbolos, con
el fin de obtener términos, fórmulas y enunciados
bien formados. En un segundo plano, existe una clase inicial
de fórmulas, los axiomas, y una de reglas de
inferencia. Las fórmulas derivadas de los axiomas mediante
aplicaciones consecutivas de inferencias son los teoremas.
Haciendo abstracción de estructuras particulares, se estudia
propiedades generales de tipo algebráico, geométrico
o topológico. Los axiomas son las propiedades
definitorias de objetos. Los teoremas son las consecuencias
lógicas de ellas.
Partiendo de una clase de operaciones primitivas y de reglas
de composición de ellas, los programas son
palabras bien formadas que resultan de aplicaciones sucesivas de reglas
de composición que en última instancia involucran a las
operaciones primitivas.
Siguiente: Semántica
Arriba: Lógicas
formales
Anterior: Lógicas
formales
Guillermo M. Luna
2010-03-18
