Consecuencia lógica

[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 deSegú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: