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 9: | Line 9: | ||
=== <math> (\forall x{:}P)\varphi </math> ◁▷ <math> \neg(\exists x{:}P) \neg\varphi </math> === | === <math> (\forall x{:}P)\varphi </math> ◁▷ <math> \neg(\exists x{:}P) \neg\varphi </math> === | ||
: {{#ev:youtube|H3HhormBWr8|||||start=450&loop=1}} | : {{#ev:youtube|H3HhormBWr8|||||start=450&loop=1}} | ||
| + | |||
| + | ===<math> (\forall x)(\varphi \to \psi) </math> ▷<math> (\forall x)\varphi \to (\forall x)\psi </math> === | ||
| + | : {{#ev:youtube|8LKRvIX3KkY|||||start=519&loop=1}} | ||
=== <math> (\forall x)\varphi \to (\forall x)\psi </math> ▶<math>_{Sem} (\forall x)(\varphi \to \psi) </math> === | === <math> (\forall x)\varphi \to (\forall x)\psi </math> ▶<math>_{Sem} (\forall x)(\varphi \to \psi) </math> === | ||
| − | : {{#ev:youtube|8LKRvIX3KkY|||||start= | + | : {{#ev:youtube|8LKRvIX3KkY|||||start=624&loop=1}} |
== Validade de sequentes em uma interpretação fixa == | == Validade de sequentes em uma interpretação fixa == | ||
