Changes

Dedução Natural para a Lógica Proposicional Intuicionista (view source)

16 bytes added , 21:53, 3 September 2020

m

no edit summary

* Regras para a '''disjunção'''<!--

--><p>[VIDEO]</p>

* Regras para o '''bottom''' (intuicionista) e para o '''top'''<!--

--><p>[VIDEO]</p>

* Regras para a '''negação''' intuicionista (primitivas versus derivadas)<!--

525

edits