Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
¿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
si y sólo si hay alguna interpretación de ) que hace verdadero al conjunto ), pero no a la conclusión (ver ejemplo).