Mostra la font per a Independendencia lògica

{{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|conseqüència lògica]] d'elles. B és lògicament independent d'un conjunt ) de fórmules <math>(\Delta = A_1, A_2,...A_n = premisses)</math> si i només si hi ha alguna [[interpretació|interpretació]] de ) que fa veritable al conjunt ), però no a la conclusió.
<div class='mw-collapsible mw-collapsed'>
<center>'''Exemple ↓'''</center>
<div class="mw-collapsible-content">
Sean els enunciats

<math>(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:

<center>[[File:i3491-6.gif]]</center>

[[Recurs:Exemple d'argument independent]]
</div></div>


{{Etiqueta
|Etiqueta=Lògica
}}
{{InfoWiki}}