Changes

Jump to navigation Jump to search

Dedução Natural para a Lógica de Primeira Ordem Intuicionista (view source)

Revision as of 22:01, 5 October 2020

6 bytes added ,  22:01, 5 October 2020
m
no edit summary
* Regras para a '''quantificação universal''' intuicionista<!--
--><p>[VIDEO]</p>
* Regras para a '''quantificação existencial''' intuicionista<!--
--><p>[VIDEO]</p>
* Regras para a '''igualdade'''<!--
--><p>[VIDEO]</p>
Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php/Special:MobileDiff/1324"

Navigation menu