En ese contexto, las reglas de formación de fórmulas definen la sintaxis de un lenguaje formal de símbolos no interpretados, es decir, sin significado alguno; y las reglas de transformación del sistema permiten transformar dichas expresiones en otras equivalentes; entendiendo por equivalentes que ambas tienen siempre y de forma necesaria el mismo valor de verdad.