Surge así lo se conoce como postulado o transformada de una expresión original conforme a reglas previamente establecidas, que puede enmarcarse en uno o varios contextos referenciales diversos, obteniéndose en cada uno de ellos un significado como valor de verdad de equivalente.