Formalizar

¿Qué es?

Significa traducir del lenguaje natural al lenguaje propio de la lógica, en este caso al lenguaje de enunciados.

Para formalizar hay que seguir los siguientes pasos:

Descubrir las frases declarativas simples que constituyen el texto y asignarles un símbolo de átomo a cada una. Habrá que tener presente que:
- Frases que no son sintácticamente simples pueden considerarse simples a la hora de formalizarlas, si no hay ninguna necesidad de descomponerlas en frases menos complejas.
- Frases diferentes pueden tener el mismo significado. En este caso, se les asignará el mismo símbolo de átomo.
Detectar las conectivas del lenguaje natural que se corresponden con conectivas del lenguaje de enunciados y reproducir la estructura del texto valiéndose de los átomos previamente asignados. Algunas conectivas pueden estar implícitas.
Sustituir las conectivas del lenguaje natural, tanto las explícitas como las implícitas, por conectivas del lenguaje de enunciados.

Leer atentamente todo lo que debe formalizarse e identificar sus átomos (enunciados que consideraréis atómicos). Vigilar que el significado que se asigne a cada átomo no contenga palabras que denoten conectivas. Además, procurar que el significado asignado a cada átomo tenga un sentido positivo; el sentido negativo se obtendrá con la conectiva “⌐”
Prestar atención a la puntuación del texto (comas, puntos, etc.). Muchas veces la puntuación sustituye alguna conectiva del lenguaje natural y, muchas otras, indica la forma correcta de poner los paréntesis.
Prestar atención a la utilización de la conectiva “→”. Aunque pueda parecer simple, lo cierto es que buena parte de los errores en la formalización se deben a un mal uso de esta conectiva.
No hacer demasiadas suposiciones sobre lo que se quiere decir y concentrarse en lo que se dice. Intentar no añadir nada derivado de nuestro conocimiento del tema que trata lo que formalizamos (y, puesto que esto no siempre es posible, intentad que nuestras suposiciones y añadidos sean conscientes e intencionados).