525
edits
Changes
Dedução Natural para a Lógica Proposicional Intuicionista (view source)
Revision as of 21:27, 3 September 2020
, 21:27, 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 Meta-teorema de Substitutividade de Equivalentes ("replacement"), pela via dedutiva<!--
--><p>[VIDEO]</p>