Difference between revisions of "Assinatura de primeira ordem"

From Logic Wiki
Jump to navigation Jump to search
m
Tag: 2017 source edit
Tag: 2017 source edit
 
(One intermediate revision by the same user not shown)
Line 13: Line 13:
 
* [[Termos de primeira ordem]]
 
* [[Termos de primeira ordem]]
 
* [[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]]
+
* [[Semântica formal para a lógica de primeira ordem]]
 +
* [[Introdução Computacional à Lógica Matemática]]
  
 
== 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)]

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

Links externos