Quedo claro, gracias.
Me refería a la afirmación de la consecuencia lógica, como el ejemplo que diste: ⊥⊨φ es verdadera.
Quedo claro, gracias.