Keywords: Arvore variaveis livres e ligadas.JPG pt Uma arvore de uma formula de logica classica de primeira ordem en Syntax tree of the first-order formula ˆ x P x ˆ§ Q x †’ ¬P x ˆ¨ Q x showing bound Ligada and free Livre occurrences of variables feito por mim 2006-06-16 Haroldo Watson livre para copiar a vontade Não sou ciumento Tree diagrams Logic diagrams Syntax trees |