independència lògica LÒG.

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 ()= A1,A2, ...,An = premisses)

si i només si hi ha alguna interpretació de ) que fa vertader al conjunt ), però no a la conclusió.

Exemple: siguin els enunciats

(P ® Q), (Q ® R), ¬R, ╞ P?

la taula de veritat; prova que l’enunciat P és independent de la resta d’enunciats:

 

 

Licencia de Creative Commons
Aquesta obra està sota una llicència de Creative Commons.