Difference between revisions of "Fórmulas de primeira ordem"

From Logic Wiki
Jump to navigation Jump to search
m
Tag: 2017 source edit
Tag: 2017 source edit
 
(4 intermediate revisions by the same user not shown)
Line 1: Line 1:
[VIDEO]
+
* Caso ''homogêneo''<!--
 +
--><p>{{#ev:youtube|1kkAm0E7CzA}}</p>
 +
 
 +
* Caso ''heterogêneo''<!--
 +
--><p>[AGUARDE!]</p>
  
 
== Para reflexão ==
 
== Para reflexão ==
  
*  
+
* Como tirar proveito da ''estrutura interna'' das fórmulas atômicas?
  
 
== Veja também ==
 
== Veja também ==
  
 
* [[Assinatura de primeira ordem]]
 
* [[Assinatura de primeira ordem]]
 +
* [[Introdução Computacional à Lógica Matemática]]
  
 
== Links externos ==
 
== Links externos ==
  
 
*
 
*

Latest revision as of 13:26, 6 October 2020

  • Caso homogêneo

  • Caso heterogêneo

    [AGUARDE!]

Para reflexão

  • Como tirar proveito da estrutura interna das fórmulas atômicas?

Veja também

Links externos