Sistema Formal & Su Importancia
Un sistema
formal es un tipo de sistema lógico-deductivo constituido por un lenguaje
formal, una gramática formal que restringe cuales son las expresiones
correctamente formadas de dicho lenguaje y las reglas de inferencia y un
conjunto de axiomas que permite encontrar las proposiciones derivables de
dichos axiomas.
La noción de
sistema formal corresponde a una formalización rigurosa y completa del concepto
de sistema axiomático, los cuales pueden ser expresados en lenguaje formal o en
lenguaje natural formalizado Entonces podemos decir que El objetivo de un
sistema formal es señalar como válidas determinadas cadenas. Estas cadenas
válidas se denominan teoremas. Para obtener los teoremas se emplean las reglas
de producción que convierten una cadena en otra.
0 comentarios:
Publicar un comentario