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 25: Line 25:
 
=== Regras para o símbolo de igualdade ===
 
=== Regras para o símbolo de igualdade ===
 
: {{#ev:youtube|RTlRlxsRzjA|||||start=239&loop=1}}
 
: {{#ev:youtube|RTlRlxsRzjA|||||start=239&loop=1}}
 +
 +
=== <math>\Gamma \vdash (\forall x)\varphi / \Gamma \vdash \varphi[x \mapsto t]</math> ===
 +
: {{#ev:youtube|zRZmfBlAiv0|||||start=490&loop=1}}
 +
  
 
== Para reflexão ==
 
== Para reflexão ==

Revision as of 10:43, 17 October 2020

Validade global de sequentes

◁▷

Validade de sequentes em interpretações particulares

Correção de regras

Regras para o símbolo de igualdade


Para reflexão

Veja também

Links externos