Changes

* Para as definições recursivas de ''variáveis livres e ligadas'' em uma dada fórmula, ''substituição de variáveis por termos'' (em um termo e em uma fórmula) e para a noção fundamental de ''termo livre para variável em fórmula'', consulte as páginas 7 a 13 do capítulo 3 do livro '''DGM''', disponível [https://sites.google.com/site/sequiturquodlibet/courses/lc-dgm neste link].