Open main menu

Changes

no edit summary
== Validade de sequentes em uma interpretação fixa ==
* === <math> w \approx x f (y g z) </math> ▷ <math> w \approx (x f y) g (x f z) </math> ===: {{#ev:youtube|8LKRvIX3KkY|||||start=1087&loop=1}}
== Correção de regras ==