Exemple 2:

Sigui el conjunt de fórmules

(p ® q), ¬q  ¬p

El seu arbre lògic és:

[image]

 


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