Difference between revisions of "Dedução Natural para a Lógica de Primeira Ordem 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 ''quantificação universal'' intuicionista<!--
+
* Regras para a '''quantificação universal''' intuicionista<!--
 
--><p>[VIDEO]</p>
 
--><p>[VIDEO]</p>
* Regras para a ''quantificação existencial'' intuicionista<!--
+
* Regras para a '''quantificação existencial''' intuicionista<!--
 
--><p>[VIDEO]</p>
 
--><p>[VIDEO]</p>
* Regras para a ''igualdade''<!--
+
* Regras para a '''igualdade'''<!--
 
--><p>[VIDEO]</p>
 
--><p>[VIDEO]</p>
  

Revision as of 22:01, 5 October 2020

  • Regras para a quantificação universal intuicionista

    [VIDEO]

  • Regras para a quantificação existencial intuicionista

    [VIDEO]

  • Regras para a igualdade

    [VIDEO]

Para reflexão

Veja também

Links externos