Open main menu

Changes

no edit summary
[AGUARDE!]
 
==Para reflexão==
 
* O que ocorre se ao invés de adicionarmos ao sistema de Dedução Natural para a Lógica Intuicionista a regra
<!----><p><math> (\bot \mathrm{E}_{cls}) \, \Gamma, \neg\varphi \vdash \bot\, / \, \Gamma \vdash \varphi </math></p>
<!----><p>adicionarmos uma regra da forma </p>
<!----><p><math> \Gamma, \neg(\alpha \# \beta) \vdash \bot\, / \, \Gamma \vdash (\alpha \# \beta) </math></p>
<!----><p>para algum conectivo binário <math>\#</math> da nossa linguagem? </p>
 
* 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> \Gamma, \neg\alpha \vdash \alpha\, / \, \Gamma \vdash \alpha </math></p>
==Veja também==