formalización( lenguaje proposicional )

Solo se pueden formalizar frases declarativas.

1. Identificación de las frases declarativas, sentencias o proposiciones.
2. Dividirlas en átomos.
   A veces nos encontramos con frases que no es necesario descomponer más.
   Hay frases que pueden tener mismo significado y por tanto debemos asignarle el mismo signo
3. Identificar correctamente los conectores.
   1. ¬ negación
   2. ^ y
   3. v o
   4. → si ... entonces
   Hay conectivas implícitas, otras que dependen del contexto y dobles negaciones.
4. Escribir de manera correcta la formula.

Reglas de enunciados

1. Todo átomo es un enunciado.
2. Si a es un enunciado ¬a también lo es
3. Si a y b son enunciados (a^b), (a v b) , (a → b) también lo son.

Uso de prioridades con el fin de simplificar el escrito y hacer un menor uso de paréntesis se hace un uso de prioridades en las operaciones.

1. ¬ la negación tiene la máxima prioridad
2. ^ y v tienen una prioridad intermedia e igual entre ellas
3. → tiene la mínima prioridad.
4. La prioridad va de izquierda a derecha, en caso de haber dos operaciones con la misma prioridad o ser la misma operación.

A veces es conveniente utilizar paréntesis por mejorar la legibilidad del enunciado.