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 6: | Line 6: | ||
=== <math> \forall y \exists x. \varphi </math> ▶ <math> \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}} | ||
| + | |||
| + | === <math> (\forall x : P)\varphi </math> ◁▷ <math> \not(\exists x : P). \varphi </math> === | ||
| + | : {{#ev:youtube|H3HhormBWr8|||||start=450&loop=1}} | ||
== Validade de sequentes em uma interpretação fixa == | == Validade de sequentes em uma interpretação fixa == | ||
