Changes

Dedução Natural (view source)

Revision as of 16:57, 27 August 2020

No change in size , 16:57, 27 August 2020

m

no edit summary

* Regras deriváveis

[AGUARDE!]

* [[Estratégias de demonstração]]

== Para reflexão ==

* [[DN para Lógica Proposicional Clássica]]

* [[DN para Lógica de Primeira Ordem Clássica]]

* [[Estratégias de demonstração]]

* [[Relação de consequência]]

525

edits

Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php/Special:MobileDiff/1008"