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

From Logic Wiki
Jump to navigation Jump to search
(vídeo adicionado)
Tag: 2017 source edit
(vídeo adicionado)
Tag: 2017 source edit
Line 2: Line 2:
 
--><p>{{#ev:youtube|B7fFRZF_wao}}</p>
 
--><p>{{#ev:youtube|B7fFRZF_wao}}</p>
 
* Regras para a '''quantificação existencial''' intuicionista<!--
 
* Regras para a '''quantificação existencial''' intuicionista<!--
--><p>[VIDEO]</p>
+
--><p>{{#ev:youtube|C37Y-1vqRAY}}</p>
 
* Regras para a '''igualdade'''<!--
 
* Regras para a '''igualdade'''<!--
 
--><p>[VIDEO]</p>
 
--><p>[VIDEO]</p>

Revision as of 10:09, 12 October 2020

  • Regras para a quantificação universal intuicionista

  • Regras para a quantificação existencial intuicionista

  • Regras para a igualdade

    [VIDEO]

Para reflexão

  • Você seria capaz de propor regras primitivas para os quantificadores relativizados? E de derivar a partir destas últimas as regras dos quantificadores usuais?
  • Você seria capaz de propor regras primitivas para os quantificadores de contagem?

Veja também

Links externos