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 ▷ \forall y \exists x. \varphi </math> === | + | === <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. \varphi ▶ \exists x \forall y. \varphi </math> === | + | === <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}} | ||
