Independendencia lògica
De Wikisofia
La revisió el 15:40, 25 abr 2015 per Jorcor (discussió | contribucions) (Text de reemplaçament - "File:i" a "File:e")
La revisió el 15:40, 25 abr 2015 per Jorcor (discussió | contribucions) (Text de reemplaçament - "File:i" a "File:e")
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ó.
Sean els enunciats
[math]\displaystyle{ (P\rightarrow{Q}), (Q\rightarrow{R}), ¬R, \models P? }[/math]
la taula de veritat prova que l'enunciat P és independent de la resta d'enunciats:
