Syntakticky strom formule je kořenový strom, který zachycuje, jak formule vznikla. Každé formuli odpovídá jediný syntaktický strom.
Syntakticky strom formule je kořenový strom, který zachycuje, jak formule vznikla. Každé formuli odpovídá jediný syntaktický strom.