Reglas de formalización

Las formalizaciones no son una traducción literal precisa de un análisis

1. Solo se formalizan las premisas (los deseos, dudas , etc no tienen conversión )
2. Una premisa se puede expresar en lenguaje natural de varias formas, hay que identificarlas y designarla con la premisa y utilizar la misma variable, esto simplificará las expresiones.
3. Si una premisa se puede expresar como composición de otras será conveniente hacer esto.

El principal objetivo es utilizar el menor número de variables posibles.

Si una premisa dice lo contrario que otra , a una se le asignará una variable y la otra será esta negada ¬

Si es una expresión proposicional hay que ver cual es la dirección causa efecto, (a veces el lenguaje natural es muy poético).

Si una expresión natural no te queda claro como traducirla al lenguaje formal , intenta decir lo mismo con otras palabras y tratar de traducir esta.