El lenguaje formal es el que se ha construido para evitar los errores del lenguaje natural; de esta forma se han construido lenguajes artificiales como el de las matemáticas o la lógica, sus caracteristicas son:
- Usa unicamente simbolos.
- Estos simbolos se enlaza mediante operadores.
- Poseen unas reglas que sirven para utilizar y operar corectamente con los simbolos.
- Prescinden del significado semantico, solo importa que el razonamiento este bien construido.
De esta manera evitamos la ambiguedad, la introduccion de elementos no cuantificables y se puede usar en varios contextos.
No hay comentarios:
Publicar un comentario