miércoles, 26 de mayo de 2010

Lenguaje Formalizado


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:
-Variables proposicionales
-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 en la entrada