Una fórmula (B) es lógicamente independiente de otra (A) o de un conjunto de fórmulas ()) si y sólo si no es una consecuencia lógica de ellas. B es lógicamente independiente de un conjunto ) de fórmulas [math](\Delta = A_1, A_2,...A_n = premisas)[/math] si y sólo si hay alguna interpretación de ) que hace verdadero al conjunto ), pero no a la conclusión.