Capçalera
 FiloXarxa Diccionari enciclopèdic de filosofia: autors, conceptes, textos

Temes  -

El saber filosòfic El coneixement La realitat L'ésser humà L'acció humana La societat

Història -

Filosofia antiga i medieval Filosofia moderna Filosofia contemporània Mapa del web Ajuda i altres Descarregar "font grega"
Cerca continguts al web Pensament: autors, conceptes, textos, obres ...
Loading

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.