525
edits
Changes
acrescentando video
--><p>{{#ev:youtube|By6E_g2xf1Q}}</p>
* O '''conjunto das derivações''' de um sistema de Dedução Natural<!--
--><p>[VIDEO]{{#ev:youtube|c4gdWh7vBwQ}}</p>
* '''Notação DN<sup>Tree</sup>''': derivações como árvores de fórmulas, com descarte de hipóteses<!--
--><p>[VIDEO]{{#ev:youtube|UdA2l5BK960}}</p>
* Derivações: ''manipulando fórmulas ou sequentes''?<!--
--><p>[VIDEO]{{#ev:youtube|TyFDAjvSBgM}}</p>
== Derivabilidade e admissibilidade ==