Si "A" es una metavariable que representa una fórmula cualquiera, entonces el principio de no contradicción se escribe: