Consecuencia

Relación que se establece entre un conjunto de fórmulas que se toman como premisas o hipótesis y otra a la que se denomina conclusión, en virtud de la cual toda interpretación que satisface las hipótesis, satisface la conclusión. Un enunciado es consecuencia de otros que sirven de hipótesis si, y sólo si, no existe ninguna situación en la que cada una de las hipótesis sea verdadera y la conclusión falsa; es decir, cuando el conjunto formado por las hipótesis y la negación de la conclusión sea inconsistente.