Changes

Jump to navigation Jump to search
no edit summary
== Links externos ==
* 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].
* [https://pt.wikipedia.org/wiki/Sintaxe_%28l%C3%B3gica%29 Sintaxe (lógica)]

Navigation menu