next up previous
Siguiente: Semántica Arriba: Lógicas formales Anterior: Lógicas formales

Subsecciones


Rey Lear

Sintaxis

La sintaxis es el conjunto de normas o reglas para la buena formación de enunciados.

Lenguaje natural.

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.

San Francisco

Lógica.

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.

Mahoma

Matemáticas.

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.

Relaciones Peligrosas

Computación.

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.


next up previous
Siguiente: Semántica Arriba: Lógicas formales Anterior: Lógicas formales
Guillermo M. Luna
2010-03-18