Exemple 1:

Sigui la tautologia [image]

El seu arbre lògic és:

[image]
Per consegüent, si

[image] és una contradicció,

[image] és una tautologia

 


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