TERMINOS DE ENLACE TERMINOS DE ENLACE

Representacin de las frmulas de la lgica proposicional, establecimientos de criterios de agrupacin y prioridad de los conectivos.

Se define como una proposicin compuesta escrita sin ambigedad en lenguaje. Nota. El Trmino de Enlace Dominante debe estar por fuera de los Parntesis (en el caso de que stos aparezcan), en el caso contrario, se entender que domina el que tenga prioridad de acuerdo a los niveles establecidos. Las comas en una proposicin escrita en lenguaje informal, se colocarn para que al simbolizarla, se agrupe adecuadamente y, junto con las palabras clave. Es claro que el uso de los parntesis nos quiere evitar confusiones y obviamente el trmino de enlace dominante, sin embargo, podemos establecer unos convenios de prioridad de los coactivos para escribir de una manera menos complicada las frmulas. Para escribir una frmula en una forma abreviada, podemos realizar lo siguiente:

 Usualmente podemos considerar correcta la escritura de las siguientes frmulas