525
edits
Changes
m
no edit summary
* Definição formal de consequência dedutiva a partir de um sistema de DN
[VIDEO]
* Uso de lemas
[VIDEO]
* Regras admissíveis
[AGUARDE!]
* Regras deriváveis
[VIDEO]
* [[Estratégias de demonstração]]
== Para reflexão ==