525
edits
Changes
Dedução Natural para a Lógica de Primeira Ordem Clássica (view source)
Revision as of 23:09, 13 October 2020
, 23:09, 13 October 2020vídeo adicionado
--><p>ver [[Dedução Natural para a Lógica de Primeira Ordem Intuicionista]]</p>
* ''Efeitos das regras clássicas da negação'' sobre os quantificadores<!--
--><p>[VIDEO]{{#ev:youtube|8V6u6BrqJ-M}}</p>
== Para reflexão ==