Exemple d'argument independent
De Wikisofia
La revisió el 13:46, 5 set 2015 per Sofibot (discussió | contribucions)
La revisió el 13:46, 5 set 2015 per Sofibot (discussió | contribucions)
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:
