Difference between revisions of "Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica"

From Logic Wiki
Jump to navigation Jump to search
Tag: 2017 source edit
Tag: 2017 source edit
Line 16: Line 16:
 
== Correção de regras ==
 
== Correção de regras ==
  
−
=== Regras para a igualdade quando interpretada como a identidade ===
+
=== Regras para o símbolo de igualdade ===
 
: {{#ev:youtube|RTlRlxsRzjA|||||start=239&loop=1}}
 
: {{#ev:youtube|RTlRlxsRzjA|||||start=239&loop=1}}
  

Revision as of 16:41, 6 October 2020

Validade global de sequentes

▷

▶

◁▷

Validade de sequentes em uma interpretação fixa

Correção de regras

Regras para o símbolo de igualdade

Para reflexão

Veja também

Links externos

Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php?title=Exercícios_de_semântica_formal_para_a_Lógica_de_Primeira_Ordem_Clássica&oldid=1431"