Open main menu

Changes

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>