El lenguaje formalizado es un lenguaje sometido a unas reglas fijas de formación de expresiones y significados. Este es especialmente notable e importante en la lógica y las matemáticas.
Símbolos:
Símbolos:
-Variables proposicionales
-Operadores lógicos
-Operadores lógicos
*FBF: No presenta ambiguedades, en cualquier orden da los mismos resultados.
*FMF: Presenta ambiguedades y su resultado depende del orden de solución.
No hay comentarios:
Publicar un comentario