Difference between revisions of "Sintaxe da lógica de primeira ordem"
Jump to navigation
Jump to search
Tag: 2017 source edit |
Tag: 2017 source edit |
||
| Line 16: | Line 16: | ||
== Links externos == | == Links externos == | ||
| − | * Para as definições recursivas de ''substituição de variáveis por termos'' (em um termo e em uma fórmula) e para a noção 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]. | + | * 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)] | * [https://pt.wikipedia.org/wiki/Sintaxe_%28l%C3%B3gica%29 Sintaxe (lógica)] | ||
Latest revision as of 21:11, 8 October 2020
Para reflexão
Veja também
- Formalismos dedutivos
- Semântica formal para a lógica de primeira ordem
- Sintaxe da lógica proposicional
- Introdução Computacional à Lógica Matemática
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 neste link.
- Sintaxe (lógica)
