Changes

* O que ocorre se ao invés de adicionarmos ao sistema de Dedução Natural para a Lógica Intuicionista a regra <math> (\bot \mathrm{E}_{cls}) </math><!----><p>adicionarmos a seguinte regra de ''consequentia mirabilis''?</p><!----><p><math> (\neg_{cls}) \; \Gamma, \neg\alpha \vdash \alpha\, / \, \Gamma \vdash \alpha </math></p><!----><p>(Podemos dizer, neste caso, que se trata de uma regra de introdução ou de eliminação? E quanta diferença isso faz?)