525
edits
Changes
Sintaxe da lógica de primeira ordem (view source)
Revision as of 21:09, 8 October 2020
, 21:09, 8 October 2020no edit summary
* [[Termos de primeira ordem]]
* [[Fórmulas de primeira ordem]]
== Para reflexão ==
== 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].
* [https://pt.wikipedia.org/wiki/Sintaxe_%28l%C3%B3gica%29 Sintaxe (lógica)]