Difference between revisions of "Dedução Natural para a Lógica Proposicional Intuicionista"

From Logic Wiki
Jump to navigation Jump to search
m
Tag: 2017 source edit
m
Tag: 2017 source edit
Line 1: Line 1:
* Regras para a conjunção
+
* Regras para a conjunção<!--
[VIDEO]
+
--><p>[VIDEO]</p>
* Regras para a implicação (intuicionista)
+
* Regras para a implicação (intuicionista)<!--
[VIDEO]
+
--><p>[VIDEO]</p>
* Regras para a disjunção
+
* Regras para a disjunção<!--
[VIDEO]
+
--><p>[VIDEO]</p>
* Regras para o bottom e para o top
+
* Regras para o bottom e para o top<!--
[VIDEO]
+
--><p>[VIDEO]</p>
* Regras para a negação intuicionista (primitivas versus derivadas)
+
* Regras para a negação intuicionista (primitivas versus derivadas)<!--
[VIDEO]
+
--><p>[VIDEO]</p>
* Regras para a bi-implicação intuicionista (primitivas versus derivadas)
+
* Regras para a bi-implicação intuicionista (primitivas versus derivadas)<!--
[VIDEO]
+
--><p>[VIDEO]</p>
* Congruencialidade: Teorema de Substitutividade de Equivalentes ("replacement")
+
* Congruencialidade: Teorema de Substitutividade de Equivalentes ("replacement"), pela via dedutiva<!--
[VIDEO]
+
--><p>[VIDEO]</p>
  
 
== Para reflexão ==
 
== Para reflexão ==

Revision as of 20:56, 3 September 2020

  • Regras para a conjunção

    [VIDEO]

  • Regras para a implicação (intuicionista)

    [VIDEO]

  • Regras para a disjunção

    [VIDEO]

  • Regras para o bottom e para o top

    [VIDEO]

  • Regras para a negação intuicionista (primitivas versus derivadas)

    [VIDEO]

  • Regras para a bi-implicação intuicionista (primitivas versus derivadas)

    [VIDEO]

  • Congruencialidade: Teorema de Substitutividade de Equivalentes ("replacement"), pela via dedutiva

    [VIDEO]

Para reflexão

Veja também

Links externos