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 | + | === <math> (\exists x)(\forall y) \varphi </math> ▷ <math> (\forall y)(\exists x) \varphi </math> === |
: {{#ev:youtube|7ihfZ4wlgFw|||||start=328&loop=1}} | : {{#ev:youtube|7ihfZ4wlgFw|||||start=328&loop=1}} | ||
| − | === <math> \forall y \exists x | + | === <math> (\forall y)(\exists x) \varphi </math> ▶ <math> (\exists x)(\forall y) \varphi </math> === |
: {{#ev:youtube|7ihfZ4wlgFw|||||start=563&loop=1}} | : {{#ev:youtube|7ihfZ4wlgFw|||||start=563&loop=1}} | ||
