Changes

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

4 bytes added , 21:27, 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 ("''replacement''"), pela via dedutiva<!--

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

525

edits