Changes

Dedução Natural (view source)

75 bytes added , 19:30, 23 August 2020

m

no edit summary

* Componentes do formalismo dedutivo da DN: regras e derivações

[VIDEO]

* Elementos constitutivos das árvores de derivação em DN

[VIDEO]

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

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

525

edits