5 Fórmulas en forma abreviada

Vamos a dar 3 reglas que permiten eliminar parentesis de una formula, dando como resultado una formula en forma abreviada:

1. 1.
   ​

   Se puede eliminar el parentesis externo.

2. 2.
   ​

   Las conectivas binarias $\displaystyle\wedge$ y $\displaystyle\vee$ tienen precedencia sobre las conectivas binarias $\displaystyle\rightarrow$ y $\displaystyle\leftrightarrow$. Si se “enfrentan” dos de estas conectivas, se puede eliminar el parentesis correspondiente a la que tiene precedencia.

3. 3.
   ​

   Dos conectivas binarias iguales asocian por la derecha. Si se “enfrentan” dos conectivas binarias iguales y el parentesis esta a la derecha, puede eliminarse.

El resultado de aplicar cualquier cantidad de veces estas reglas a una formula se considera una forma abreviada de esa formula que tambien la representa.