Independendencia lògica
De Wikisofia
La revisió el 09:40, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{ConcepteWiki}} 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|conse...».)
La revisió el 09:40, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{ConcepteWiki}} 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|conse...».)
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:
