525
edits
Changes
Dedução Natural para a Lógica Proposicional Intuicionista (view source)
Revision as of 16:58, 1 March 2021
, 16:58, 1 March 2021adding links
* Regras para a '''conjunção'''<!--
--><p>[VIDEO]{{#ev:youtube|moh07B8dv2k}}</p>
* Regras para a '''implicação''' (intuicionista)<!--
--><p>[VIDEO]{{#ev:youtube|mlEYLd56pMg}}</p>
* Regras para a '''disjunção'''<!--
--><p>[VIDEO]{{#ev:youtube|yUejpYb2NgI}}</p>* Regras para o '''bottom''' (intuicionista) e para o '''top'''<!----><p>[VIDEO]{{#ev:youtube|jOzs9BAA8E8}}</p>
* Regras para a '''negação''' intuicionista (primitivas versus derivadas)<!--
--><p>[VIDEO]{{#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]{{#ev:youtube|C2S2z-Emw5Y}}</p>
== Para reflexão ==
* [[Dedução Natural]]
* [[Noção de equivalência lógicaDedução Natural para a Lógica Proposicional Clássica]]
* [[Exercícios de Dedução Natural]]
* [[Estratégias de demonstração]]
* [[Introdução Computacional à Lógica Matemática]]
== Links externos ==
*