Representación de las fórmulas de la lógica proposicional, establecimientos de criterios de agrupación y prioridad de los conectivos.
Se define como una proposición compuesta escrita sin ambigüedad en lenguaje.
Nota.
• El Término de Enlace Dominante debe estar por fuera de los Paréntesis (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 proposición escrita en lenguaje “informal”, se colocarán para que al simbolizarla, se agrupe adecuadamente y, junto con las palabras “clave”.
Es claro que el uso de los paréntesis nos quiere evitar confusiones y obviamente el término de enlace dominante, sin embargo, podemos establecer unos convenios de prioridad de los coactivos para escribir de una manera menos complicada las fórmulas.
Para escribir una fórmula en una forma abreviada, podemos realizar lo siguiente:
