Cuando una conclusión "A" es una consecuencia semántica de un conjunto de premisas formula_1 en un lenguaje formal "L", se escribe: