[1] Dos características generalmente aceptadas de la relación de consecuencia lógica son que es «necesaria» y además «formal».
satisface a todas las fórmulas de
Según esta estrategia, una conclusión es una consecuencia lógica de las premisas cuando es imposible que las premisas sean verdaderas y la conclusión falsa.
O dicho más precisamente, cuando toda interpretación que hace verdaderas a las premisas también hace verdadera a la conclusión.
[1] Es decir cuando, usando solamente las premisas, los axiomas y las reglas de inferencia permitidas, es posible construir una derivación de la conclusión.
en un sistema formal S, se escribe: