Difference between revisions of "Assinatura de primeira ordem"
Jump to navigation
Jump to search
(versão 0) |
Tag: 2017 source edit |
||
| (12 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
| − | * Caso homogêneo | + | * Caso ''homogêneo'' (um único gênero de indivíduos)<!-- |
| − | * Caso heterogêneo (multi-gênero) | + | --><p>{{#ev:youtube|kQAkqVJplI4}}</p> |
| + | |||
| + | * Caso ''heterogêneo'' (ou multi-gênero)<!-- | ||
| + | --><p>[AGUARDE!]</p> | ||
== Para reflexão == | == Para reflexão == | ||
| Line 6: | Line 9: | ||
* | * | ||
| + | == 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]] | ||
| + | * [[Introdução Computacional à Lógica Matemática]] | ||
| − | == | + | == Links externos == |
| − | * | + | * [https://pt.wikipedia.org/wiki/Assinatura_%28l%C3%B3gica%29 Assinatura (lógica)] |
Latest revision as of 13:25, 6 October 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
- Introdução Computacional à Lógica Matemática
