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 18: Line 18:
 
== Validade de sequentes em uma interpretação fixa ==
 
== Validade de sequentes em uma interpretação fixa ==
  
=== <math> w \approx x f (y g z) </math> ▷ <math> w \approx (x f y) g (x f z) </math> ===
+
=== <math> w \approx x f (y g z) </math> ▷<math>^{\mathfrak{I}} w \approx (x f y) g (x f z) </math> ===
 
: {{#ev:youtube|8LKRvIX3KkY|||||start=1087&loop=1}}
 
: {{#ev:youtube|8LKRvIX3KkY|||||start=1087&loop=1}}
  

Revision as of 00:43, 8 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