525
edits
Changes
m
no edit summary
* O '''conjunto das derivações''' de um sistema de Dedução Natural<!--
--><p>[VIDEO]</p>
* Notação '''Notação DN<sup>Tree</sup>''': derivações como árvores de fórmulas, com descarte de hipóteses<!--
--><p>[VIDEO]</p>
* Derivações: ''manipulando fórmulas ou sequentes''?<!--