525
edits
Changes
Jump to navigation
Jump to search
Dedução Natural para a Lógica Proposicional Intuicionista (view source)
Revision as of 04:51, 15 September 2020
, 04:51, 15 September 2020acrescentando video
--><p>{{#ev:youtube|-Exorelokdo}}</p>
* Regras para a '''bi-implicação''' intuicionista (primitivas versus derivadas)<!--
--><p>[VIDEO]{{#ev:youtube|nhvGKcSH3v0}}</p>
* '''Congruencialidade''': Meta-teorema de Substitutividade de Equivalentes (EN: ''replacement theorem''), pela via dedutiva<!--
--><p>[VIDEO]</p>
