525
edits
Changes
Dedução Natural para a Lógica Proposicional Intuicionista (view source)
Revision as of 20:56, 3 September 2020
, 20:56, 3 September 2020no edit summary
* Regras para a conjunção<!----><p>[VIDEO]</p>* Regras para a implicação (intuicionista)<!----><p>[VIDEO]</p>* Regras para a disjunção<!----><p>[VIDEO]</p>* Regras para o bottom e para o top<!----><p>[VIDEO]</p>* Regras para a negação intuicionista (primitivas versus derivadas)<!----><p>[VIDEO]</p>* Regras para a bi-implicação intuicionista (primitivas versus derivadas)<!----><p>[VIDEO]</p>* Congruencialidade: Teorema de Substitutividade de Equivalentes ("replacement"), pela via dedutiva<!----><p>[VIDEO]</p>
== Para reflexão ==