docoo
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.

--