Exemple d'argument independent
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")
Plantilla:RecursoEnlace Plantilla:Multimèdia
Siguin 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: