525
edits
Changes
Sintaxe da lógica de primeira ordem (view source)
Revision as of 13:24, 6 October 2020
, 13:24, 6 October 2020no edit summary
* [[Termos de primeira ordem]]
* [[Fórmulas de primeira ordem]]
* [[Substituição de variáveis por termos]] [AGUARDE!]
== Para reflexão ==
== Veja também ==
* [[Sistema dedutivo para a Lógica de Primeira OrdemFormalismos dedutivos]]* [[Semântica formal para a Lógica lógica de Primeira Ordemprimeira ordem]]* [[Sintaxe da lógica proposicional]]* [[Introdução Computacional à Lógica ProposicionalMatemática]]
== Links externos ==
* [https://pt.wikipedia.org/wiki/Sintaxe_%28l%C3%B3gica%29 Sintaxe (lógica)]