El cálculo es un sistema de símbolos no interpretados, es decir, sin significación alguna, en el que se establecen mediante reglas estrictas, las relaciones sintácticas entre los símbolos para la construcción de expresiones bien formadas (EBF), así como las reglas que permiten transformar dichas expresiones en otras equivalentes; entendiendo por equivalentes que ambas tienen siempre y de forma necesaria el mismo valor de verdad. Dichas transformaciones son meramente tautologías.
Un cálculo consiste en:
Un conjunto de elementos primitivos. Dichos elementos pueden establecerse por enumeración, o definidos por una propiedad tal que permita discernir sin duda alguna cuándo un elemento pertenece o no pertenece al sistema.
Un conjunto de reglas de formación de “expresiones bien formadas”(EBFs) que permitan en todo momento establecer, sin forma de duda, cuándo una expresión pertenece al sistema y cuándo no.
Un conjunto de reglas de transformación de expresiones, mediante las cuales partiendo de una expresión bien formada del cálculo podremos obtener una nueva expresión equivalente y bien formada que pertenece al cálculo.
0 comentarios:
Publicar un comentario