Difference between revisions of "Assinatura de primeira ordem"
Jump to navigation
Jump to search
m |
m Tag: 2017 source edit |
||
Line 14: | Line 14: | ||
* [[Fórmulas de primeira ordem]] | * [[Fórmulas de primeira ordem]] | ||
* [[Sintaxe da Lógica de Primeira Ordem]] | * [[Sintaxe da Lógica de Primeira Ordem]] | ||
+ | * [[Semântica formal para a Lógica de Primeira Ordem Clássica]] | ||
== Links externos == | == Links externos == | ||
* [https://pt.wikipedia.org/wiki/Assinatura_%28l%C3%B3gica%29 Assinatura (lógica)] | * [https://pt.wikipedia.org/wiki/Assinatura_%28l%C3%B3gica%29 Assinatura (lógica)] |
Revision as of 11:19, 28 September 2020
- Caso homogêneo (um único gênero de indivíduos)
- Caso heterogêneo (ou multi-gênero)
[AGUARDE!]
Para reflexão
Veja também
- Termos de primeira ordem
- Fórmulas de primeira ordem
- Sintaxe da Lógica de Primeira Ordem
- Semântica formal para a Lógica de Primeira Ordem Clássica