Changes

Dedução Natural (view source)

77 bytes added , 17:14, 27 August 2020

m

no edit summary

== Para reflexão ==

* Qual o significado lógico e o uso matemático da regra estrutural (𝕋)?

* Como demonstrar que uma certa regra (ou um certo sequente) não é derivável na lógica clássica?

* Como demonstrar que uma certa regra (ou um certo sequente) classicamente derivável não é derivável na lógica intuicionista?

525

edits