Independendencia lògica
De Wikisofia
La versió per a impressora ja no és compatible i pot tenir errors de representació. Actualitzeu les adreces d'interès del navegador i utilitzeu la funció d'impressió per defecte del navegador.
Una fórmula (B) és lògicament independent d'una altra (A) o d'un conjunt de fórmules ()) si i només si no és una conseqüència lògica d'elles. B és lògicament independent d'un conjunt ) de fórmules [math]\displaystyle{ (\Delta = A_1, A_2,...A_n = premisses) }[/math] si i només si hi ha alguna interpretació de ) que fa veritable al conjunt ), però no a la conclusió.