Difference between revisions of "Sintaxe da lógica de primeira ordem"
Jump to navigation
Jump to search
(Created page with "* Assinatura de primeira ordem * Termos de primeira ordem * Fórmulas de primeira ordem * Substituição de variáveis por termos == Para reflexão == * ==...") |
Tag: 2017 source edit |
||
| Line 2: | Line 2: | ||
* [[Termos de primeira ordem]] | * [[Termos de primeira ordem]] | ||
* [[Fórmulas de primeira ordem]] | * [[Fórmulas de primeira ordem]] | ||
| − | * [[Substituição de variáveis por termos]] | + | * [[Substituição de variáveis por termos]] [AGUARDE!] |
== Para reflexão == | == Para reflexão == | ||
| Line 10: | Line 10: | ||
== Veja também == | == Veja também == | ||
| − | * [[ | + | * [[Formalismos dedutivos]] |
| − | * [[Semântica formal para a | + | * [[Semântica formal para a lógica de primeira ordem]] |
| − | * [[Sintaxe da Lógica | + | * [[Sintaxe da lógica proposicional]] |
| + | * [[Introdução Computacional à Lógica Matemática]] | ||
== Links externos == | == Links externos == | ||
* [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)] | ||
Revision as of 13:24, 6 October 2020
- Assinatura de primeira ordem
- Termos de primeira ordem
- Fórmulas de primeira ordem
- Substituição de variáveis por termos [AGUARDE!]
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
