525
edits
Changes
Exercícios de Dedução Natural (view source)
Revision as of 15:20, 26 September 2020
, 15:20, 26 September 2020→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><!--
* 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>
==Veja também==