Open main menu

Changes

no edit summary
: {{#ev:youtube|RTlRlxsRzjA|||||start=239&loop=1}}
=== <math>\mathrm{(\forall E)} \Gamma \vdash (\forall x)\varphi / \Gamma \vdash \varphi[x \mapsto t]</math> ===
: {{#ev:youtube|zRZmfBlAiv0|||||start=490&loop=1}}
=== <math>\mathrm{(\forall I)} \Gamma \vdash \varphi[x \mapsto y] / \Gamma \vdash (\forall x)\varphi </math> ===
: {{#ev:youtube|zRZmfBlAiv0|||||start=721&loop=1}}
== Para reflexão ==