Changes

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

10 bytes added , 21:59, 3 September 2020

m

no edit summary

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

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

* '''Congruencialidade''': Meta-teorema de Substitutividade de Equivalentes ("EN: ''replacementtheorem''"), pela via dedutiva<!--

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

525

edits