Cuando una conclusión "A" es una consecuencia sintáctica de un conjunto de premisas formula_1 en un sistema formal "S", se escribe: