¿Qué es?
No se ha añadido ninguna twiki todavía.
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.
Sean los enunciados
[math](P\rightarrow{Q}), (Q\rightarrow{R}), ¬R, \models P?[/math]
la tabla de verdad prueba que el enunciado P es independiente del resto de enunciados:
