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 1: | Line 1: | ||
== Validade global de sequentes == | == Validade global de sequentes == | ||
| − | + | === <math> \exists x \forall y. \varphi \vdash \forall y \exists x. \varphi </math> === | |
== Validade de sequentes em uma interpretação fixa == | == Validade de sequentes em uma interpretação fixa == | ||
