Difference between revisions of "Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica"
Jump to navigation
Jump to search
Tag: 2017 source edit |
Tag: 2017 source edit |
||
| Line 12: | Line 12: | ||
== 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> === | |
| + | : {{#ev:youtube|8LKRvIX3KkY|||||start=1087&loop=1}} | ||
== Correção de regras == | == Correção de regras == | ||
