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
 
(5 intermediate revisions by the same user not shown)
Line 1: Line 1:
* Caso ''homogêneo'' (um único gênero de objetos)<!--
+
* Caso ''homogêneo'' (um único gênero de indivíduos)<!--
--><p>[VIDEO]</p>
+
--><p>{{#ev:youtube|kQAkqVJplI4}}</p>
  
* Caso ''heterogêneo'' (multi-gênero)<!--
+
* Caso ''heterogêneo'' (ou multi-gênero)<!--
 
--><p>[AGUARDE!]</p>
 
--><p>[AGUARDE!]</p>
  
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]]
 +
* [[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