Changes

Jump to navigation Jump to search
: {{#ev:youtube|H3HhormBWr8|||||start=450&loop=1}}
=== <math> (\forall x)\varphi \to (\forall x)\psi </math> ▶ <math>_{Sem} (\forall x)(\varphi \to \psi) </math> ===: {{#ev:youtube|H3HhormBWr88LKRvIX3KkY|||||start=450519&loop=1}}
== Validade de sequentes em uma interpretação fixa ==

Navigation menu