Open main menu

Changes

=== <math> (\forall x{:}P)\varphi </math> ◁▷ <math> \neg(\exists x{:}P) \neg\varphi </math> ===
: {{#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> ===
: {{#ev:youtube|8LKRvIX3KkY|||||start=519624&loop=1}}
== Validade de sequentes em uma interpretação fixa ==